private class TermTacletAppIndexCacheSet.TopLevelCache extends PrefixTermTacletAppIndexCacheImpl
PrefixTermTacletAppIndexCacheImpl.CacheKey
Modifier | Constructor and Description |
---|---|
protected |
TermTacletAppIndexCacheSet.TopLevelCache(ImmutableList<QuantifiableVariable> prefix,
Map<PrefixTermTacletAppIndexCacheImpl.CacheKey,TermTacletAppIndex> cache) |
Modifier and Type | Method and Description |
---|---|
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 ). |
protected String |
name()
Only used for debugging purposes
|
getIndexForTerm, putIndexForTerm
getExtendedPrefix, getExtendedPrefix, getPrefix
protected TermTacletAppIndexCacheSet.TopLevelCache(ImmutableList<QuantifiableVariable> prefix, Map<PrefixTermTacletAppIndexCacheImpl.CacheKey,TermTacletAppIndex> cache)
public ITermTacletAppIndexCache descend(Term t, int subtermIndex)
ITermTacletAppIndexCache
subtermIndex
'th subterm of the term t
(assuming that this
cache is responsible for the location
of the term t
). This method is used in
TermTacletAppIndex
when recursively constructing the index
for a given term.protected String name()
PrefixTermTacletAppIndexCacheImpl
name
in class PrefixTermTacletAppIndexCacheImpl