public interface RuleApp
Modifier and Type | Method and Description |
---|---|
boolean |
complete()
returns true if all variables are instantiated
|
ImmutableList<Goal> |
execute(Goal goal,
Services services)
applies the specified rule at the specified position
if all schema variables have been instantiated
|
PosInOccurrence |
posInOccurrence()
returns the PositionInOccurrence (representing a SequentFormula and
a position in the corresponding formula) of this rule application
|
Rule |
rule()
returns the rule of this rule application
|
Rule rule()
PosInOccurrence posInOccurrence()
ImmutableList<Goal> execute(Goal goal, Services services)
goal
- the Goal where to apply the ruleservices
- the Services encapsulating all java informationboolean complete()