public class BuiltInRuleAppIndex extends Object
Modifier and Type | Field and Description |
---|---|
private BuiltInRuleIndex |
index |
private NewRuleListener |
newRuleListener |
Constructor and Description |
---|
BuiltInRuleAppIndex(BuiltInRuleIndex index) |
BuiltInRuleAppIndex(BuiltInRuleIndex index,
NewRuleListener p_newRuleListener) |
Modifier and Type | Method and Description |
---|---|
BuiltInRuleIndex |
builtInRuleIndex() |
BuiltInRuleAppIndex |
copy()
returns a copy of this index
|
ImmutableList<IBuiltInRuleApp> |
getBuiltInRule(Goal goal,
PosInOccurrence pos)
returns a list of built-in rules application applicable
for the given goal and position
|
private NewRuleListener |
getNewRulePropagator() |
void |
reportRuleApps(NewRuleListener l,
Goal goal) |
private void |
scanAddedFormulas(Goal goal,
boolean antec,
SequentChangeInfo sci) |
void |
scanApplicableRules(Goal goal) |
private void |
scanModifiedFormulas(Goal goal,
boolean antec,
SequentChangeInfo sci) |
private void |
scanSimplificationRule(BuiltInRule rule,
Goal goal,
boolean antec,
NewRuleListener listener) |
private void |
scanSimplificationRule(BuiltInRule rule,
Goal goal,
boolean antec,
SequentFormula cfma,
NewRuleListener listener) |
private void |
scanSimplificationRule(BuiltInRule rule,
Goal goal,
PosInOccurrence pos,
NewRuleListener listener) |
private void |
scanSimplificationRule(Goal goal,
NewRuleListener listener) |
void |
sequentChanged(Goal goal,
SequentChangeInfo sci)
called if a formula has been replaced
|
void |
setNewRuleListener(NewRuleListener p_newRuleListener) |
private BuiltInRuleIndex index
private NewRuleListener newRuleListener
public BuiltInRuleAppIndex(BuiltInRuleIndex index)
public BuiltInRuleAppIndex(BuiltInRuleIndex index, NewRuleListener p_newRuleListener)
public ImmutableList<IBuiltInRuleApp> getBuiltInRule(Goal goal, PosInOccurrence pos)
public BuiltInRuleAppIndex copy()
public void setNewRuleListener(NewRuleListener p_newRuleListener)
public BuiltInRuleIndex builtInRuleIndex()
private NewRuleListener getNewRulePropagator()
public void scanApplicableRules(Goal goal)
private void scanSimplificationRule(Goal goal, NewRuleListener listener)
private void scanSimplificationRule(BuiltInRule rule, Goal goal, boolean antec, NewRuleListener listener)
private void scanSimplificationRule(BuiltInRule rule, Goal goal, boolean antec, SequentFormula cfma, NewRuleListener listener)
private void scanSimplificationRule(BuiltInRule rule, Goal goal, PosInOccurrence pos, NewRuleListener listener)
public void reportRuleApps(NewRuleListener l, Goal goal)
public void sequentChanged(Goal goal, SequentChangeInfo sci)
sci
- SequentChangeInfo describing the change of the sequentprivate void scanAddedFormulas(Goal goal, boolean antec, SequentChangeInfo sci)
private void scanModifiedFormulas(Goal goal, boolean antec, SequentChangeInfo sci)