| de.uka.ilkd.key.rule.RuleApp
All known Subclasses: de.uka.ilkd.key.rule.BuiltInRuleApp, de.uka.ilkd.key.rule.TacletApp,
| RuleApp | | public interface RuleApp (Code) | | |
| complete | | boolean complete()(Code) | | returns true if all variables are instantiated
true if all variables are instantiated |
| constraint | | Constraint constraint()(Code) | | returns the constraint under which a rule is applicable
|
| execute | | ListOfGoal execute(Goal goal, Services services)(Code) | | applies the specified rule at the specified position
if all schema variables have been instantiated
Parameters:
goal - the Goal where to apply the rule
Parameters:
services - the Services encapsulating all java information list of new created goals |
| posInOccurrence | | PosInOccurrence posInOccurrence()(Code) | | returns the PositionInOccurrence (representing a ConstrainedFormula and
a position in the corresponding formula) of this rule application
|
| rule | | Rule rule()(Code) | | returns the rule of this rule application
|
|
|