private class TermTacletAppIndexCacheSet.BelowUpdateCache extends PrefixTermTacletAppIndexCache
Constructor and Description |
---|
BelowUpdateCache(ImmutableList<QuantifiableVariable> prefix) |
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 ). |
TermTacletAppIndex |
getIndexForTerm(Term t) |
void |
putIndexForTerm(Term t,
TermTacletAppIndex index)
Put the taclet app index
index for the term t
in the cache |
getExtendedPrefix, getExtendedPrefix, getPrefix
public BelowUpdateCache(ImmutableList<QuantifiableVariable> prefix)
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.public TermTacletAppIndex getIndexForTerm(Term t)
t
, or
null
if no index for this term was found in the
cachepublic void putIndexForTerm(Term t, TermTacletAppIndex index)
ITermTacletAppIndexCache
index
for the term t
in the cache