public class SemisequentTacletAppIndex
extends java.lang.Object
TermTacletAppIndex
s for all formulas of
a semisequent.Modifier and Type | Method and Description |
---|---|
SemisequentTacletAppIndex |
addTaclets(RuleFilter filter,
Sequent s,
Services services,
TacletIndex tacletIndex,
NewRuleListener listener)
Create an index that additionally contains the taclets that are selected
by
filter |
SemisequentTacletAppIndex |
copy() |
ImmutableList<NoPosTacletApp> |
getTacletAppAt(PosInOccurrence pos,
RuleFilter filter) |
ImmutableList<TacletApp> |
getTacletAppAtAndBelow(PosInOccurrence pos,
RuleFilter filter,
Services services) |
SemisequentTacletAppIndex |
sequentChanged(SequentChangeInfo sci,
Services services,
TacletIndex tacletIndex,
NewRuleListener listener)
called if a formula has been replaced
|
public SemisequentTacletAppIndex copy()
public ImmutableList<NoPosTacletApp> getTacletAppAt(PosInOccurrence pos, RuleFilter filter)
public ImmutableList<TacletApp> getTacletAppAtAndBelow(PosInOccurrence pos, RuleFilter filter, Services services)
public SemisequentTacletAppIndex sequentChanged(SequentChangeInfo sci, Services services, TacletIndex tacletIndex, NewRuleListener listener)
sci
- SequentChangeInfo describing the change of the sequentpublic SemisequentTacletAppIndex addTaclets(RuleFilter filter, Sequent s, Services services, TacletIndex tacletIndex, NewRuleListener listener)
filter
filter
- The taclets that are supposed to be addedCopyright © 2003-2019 The KeY-Project.