public class BuiltInRuleAppIndex
extends java.lang.Object
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
|
void |
reportRuleApps(NewRuleListener l,
Goal goal) |
void |
scanApplicableRules(Goal goal) |
void |
sequentChanged(Goal goal,
SequentChangeInfo sci)
called if a formula has been replaced
|
void |
setNewRuleListener(NewRuleListener p_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()
public void scanApplicableRules(Goal goal)
public void reportRuleApps(NewRuleListener l, Goal goal)
public void sequentChanged(Goal goal, SequentChangeInfo sci)
sci
- SequentChangeInfo describing the change of the sequentCopyright © 2003-2019 The KeY-Project.