final class SingleThreadedTacletIndex extends TacletIndex
matchTaclets(ImmutableList, RuleFilter, PosInOccurrence, Services)
in a single thread (the thread invoking the method).
Do not create this index directly. Use the TacletIndexKit.createTacletIndex()
resp.
TacletIndexKit.createTacletIndex(Iterable)
.TacletIndex
,
TacletIndexKit
antecList, noFindList, partialInstantiatedRuleApps, rwList, succList
Modifier | Constructor and Description |
---|---|
(package private) |
SingleThreadedTacletIndex() |
private |
SingleThreadedTacletIndex(java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> rwList,
java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> antecList,
java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> succList,
ImmutableList<NoPosTacletApp> noFindList,
java.util.HashSet<NoPosTacletApp> partialInstantiatedRuleApps) |
(package private) |
SingleThreadedTacletIndex(java.lang.Iterable<Taclet> tacletSet) |
Modifier and Type | Method and Description |
---|---|
TacletIndex |
copy()
copies the index
|
protected ImmutableList<NoPosTacletApp> |
matchTaclets(ImmutableList<NoPosTacletApp> tacletApps,
RuleFilter p_filter,
PosInOccurrence pos,
Services services)
Filter the given list of taclet apps, and match their find
parts at the given position of the sequent
|
add, add, addTaclets, allNoPosTacletApps, clone, getAntecedentTaclet, getNoFindTaclet, getPartialInstantiatedApps, getRewriteTaclet, getSuccedentTaclet, lookup, lookup, remove, removeTaclets, toNoPosTacletApp, toString
SingleThreadedTacletIndex()
SingleThreadedTacletIndex(java.lang.Iterable<Taclet> tacletSet)
private SingleThreadedTacletIndex(java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> rwList, java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> antecList, java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> succList, ImmutableList<NoPosTacletApp> noFindList, java.util.HashSet<NoPosTacletApp> partialInstantiatedRuleApps)
public TacletIndex copy()
copy
in class TacletIndex
protected ImmutableList<NoPosTacletApp> matchTaclets(ImmutableList<NoPosTacletApp> tacletApps, RuleFilter p_filter, PosInOccurrence pos, Services services)
matchTaclets
in class TacletIndex