| java.lang.Object de.uka.ilkd.key.rule.UpdateSimplificationRule
UpdateSimplificationRule | public class UpdateSimplificationRule implements BuiltInRule(Code) | | Built in rule that starts the update simplifier on the sequent or
selected term. The rule is useful if one has changes the simultaneous
update simplifier settings.
|
Inner Class :static class ConstrainedFormulaContainer | |
UpdateSimplificationRule | protected UpdateSimplificationRule()(Code) | | |
apply | public ListOfGoal apply(Goal goal, Services services, RuleApp ruleApp)(Code) | | the rule is applied on the given goal using the
information of rule application. As applications of this rule kind may
not be successful in each case one has to ensure that the goal split is
done only iff the application was successful.
Parameters: goal - the goal that the rule application should refer to. Parameters: services - the Services with the necessary informationabout the java programs Parameters: the - rule application that is executed. |
|
|