| de.uka.ilkd.key.strategy.feature.instantiator.CPBranch
CPBranch | public interface CPBranch (Code) | | One branch of a ChoicePoint . An object of this interface will
be notified each time the BackTrackingManager decides to take
this branch, and can be asked for the current rule application.
|
choose | void choose()(Code) | | Invoked by branch manager when this branch of a choice point has been
chosen
|
getRuleAppForBranch | RuleApp getRuleAppForBranch()(Code) | | the updated RuleApp that results when this branchof a choice point has been chosen |
|
|