All Methods Instance Methods Concrete Methods
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(Goal goal,
NewRuleListener listener) |
private void |
scanSimplificationRule(ImmutableList<BuiltInRule> rules,
Goal goal,
boolean antec,
NewRuleListener listener) |
private void |
scanSimplificationRule(ImmutableList<BuiltInRule> rules,
Goal goal,
boolean antec,
SequentFormula cfma,
NewRuleListener listener) |
private void |
scanSimplificationRule(ImmutableList<BuiltInRule> rules,
Goal goal,
PosInOccurrence pos,
NewRuleListener listener) |
void |
sequentChanged(Goal goal,
SequentChangeInfo sci)
called if a formula has been replaced
|
void |
setNewRuleListener(NewRuleListener p_newRuleListener) |