| de.uka.ilkd.key.strategy.feature.instantiator.ChoicePoint
| ChoicePoint | | public interface ChoicePoint (Code) | | Interface encapsulating points during the evaluation of a feature term where
it is either possible to take different branches, or where the feature has to
change the rule application in question (e.g. by instantiation schema
variables).
|
| Method Summary | |
| IteratorOfCPBranch | getBranches(RuleApp oldApp)
Obtain the branches that can be taken at this point. |
| getBranches | | IteratorOfCPBranch getBranches(RuleApp oldApp)(Code) | | Obtain the branches that can be taken at this point.
Parameters:
oldApp - the current rule application, which can already have beenmodified by earlier ChoicePoints an iterator over the branches of the ChoicePoint |
|
|