de.uka.ilkd.key.strategy.feature.instantiator

Interface CPBranch

public interface CPBranch

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.

Method Summary

Modifier and Type	Method and Description
void	choose() Invoked by branch manager when this branch of a choice point has been chosen
RuleApp	getRuleAppForBranch()

Method Detail

choose

void choose()

Invoked by branch manager when this branch of a choice point has been chosen

getRuleAppForBranch

RuleApp getRuleAppForBranch()

Returns:

the updated RuleApp that results when this branch of a choice point has been chosen