Package | Description |
---|---|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
Modifier and Type | Class and Description |
---|---|
class |
PrefixTermTacletAppIndexCacheImpl
The abstract superclass of caches for taclet app indexes that are implemented
using a common backend
LRUCache (the backend is stored in
TermTacletAppIndexCacheSet ). |
Modifier and Type | Method and Description |
---|---|
ITermTacletAppIndexCache |
ITermTacletAppIndexCache.descend(Term t,
int subtermIndex)
Determine the cache that is responsible for locations within the
subtermIndex 'th subterm of the term t
(assuming that this cache is responsible for the location
of the term t ). |
ITermTacletAppIndexCache |
TermTacletAppIndexCacheSet.getAntecCache() |
ITermTacletAppIndexCache |
TermTacletAppIndexCacheSet.getNoCache() |
ITermTacletAppIndexCache |
TermTacletAppIndexCacheSet.getSuccCache() |
Copyright © 2003-2019 The KeY-Project.