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

Class OneOfCP.CP

java.lang.Object

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

All Implemented Interfaces:

ChoicePoint

Enclosing class:

OneOfCP

private final class OneOfCP.CP
extends Object
implements ChoicePoint

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private class	OneOfCP.CP.BranchIterator

Constructor Summary

Constructors

Modifier	Constructor and Description
private	CP()

Method Summary

Modifier and Type	Method and Description
Iterator<CPBranch>	getBranches(RuleApp oldApp) Obtain the branches that can be taken at this point.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CP

private CP()

Method Detail

getBranches

public Iterator<CPBranch> getBranches(RuleApp oldApp)

Description copied from interface: ChoicePoint

Obtain the branches that can be taken at this point.

Specified by:

getBranches in interface ChoicePoint

Parameters:

oldApp - the current rule application, which can already have been modified by earlier ChoicePoints

Returns:

an iterator over the branches of the ChoicePoint