abstract class PrefixTermTacletAppIndexCache extends java.lang.Object implements ITermTacletAppIndexCache
IList
and offers a couple of access
functions to this list.Modifier and Type | Field and Description |
---|---|
private ImmutableList<QuantifiableVariable> |
prefix |
Modifier | Constructor and Description |
---|---|
protected |
PrefixTermTacletAppIndexCache(ImmutableList<QuantifiableVariable> prefix) |
Modifier and Type | Method and Description |
---|---|
protected ImmutableList<QuantifiableVariable> |
getExtendedPrefix(ImmutableArray<QuantifiableVariable> extension) |
protected ImmutableList<QuantifiableVariable> |
getExtendedPrefix(Term t,
int subtermIndex) |
protected ImmutableList<QuantifiableVariable> |
getPrefix() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
descend, getIndexForTerm, putIndexForTerm
private final ImmutableList<QuantifiableVariable> prefix
protected PrefixTermTacletAppIndexCache(ImmutableList<QuantifiableVariable> prefix)
protected ImmutableList<QuantifiableVariable> getPrefix()
protected ImmutableList<QuantifiableVariable> getExtendedPrefix(ImmutableArray<QuantifiableVariable> extension)
protected ImmutableList<QuantifiableVariable> getExtendedPrefix(Term t, int subtermIndex)