private class TermTacletAppIndexCacheSet.BelowProgCache extends PrefixTermTacletAppIndexCacheImpl
PrefixTermTacletAppIndexCacheImpl.CacheKey
Modifier | Constructor and Description |
---|---|
protected |
BelowProgCache(ImmutableList<QuantifiableVariable> prefix,
java.util.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 java.lang.String |
name()
Only used for debugging purposes
|
getIndexForTerm, putIndexForTerm
getExtendedPrefix, getExtendedPrefix, getPrefix
protected BelowProgCache(ImmutableList<QuantifiableVariable> prefix, java.util.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 java.lang.String name()
PrefixTermTacletAppIndexCacheImpl
name
in class PrefixTermTacletAppIndexCacheImpl