Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
Modifier and Type | Method and Description |
---|---|
LRUCache<Term,AbstractBetaFeature.TermInfo> |
ServiceCaches.getBetaCandidates() |
LRUCache<Term,Term> |
ServiceCaches.getFormattedTermCache() |
LRUCache<PosInOccurrence,RuleAppCost> |
ServiceCaches.getIfThenElseMalusCache() |
LRUCache<Operator,java.lang.Integer> |
ServiceCaches.getIntroductionTimeCache() |
LRUCache<Term,Monomial> |
ServiceCaches.getMonomialCache() |
LRUCache<Term,Polynomial> |
ServiceCaches.getPolynomialCache() |
LRUCache<Term,Term> |
ServiceCaches.getProvedByArithFstCache() |
LRUCache<Pair<Term,Term>,Term> |
ServiceCaches.getProvedByArithSndCache() |
Modifier and Type | Field and Description |
---|---|
LRUCache<Node,IfInstantiationCachePool.IfInstantiationCache> |
IfInstantiationCachePool.cacheMgr |
Copyright © 2003-2019 The KeY-Project.