private final class ForEachCP.CP extends java.lang.Object implements ChoicePoint
Modifier and Type | Class and Description |
---|---|
private class |
ForEachCP.CP.BranchIterator |
Modifier and Type | Field and Description |
---|---|
private RuleApp |
app |
private Goal |
goal |
private PosInOccurrence |
pos |
Modifier | Constructor and Description |
---|---|
private |
CP(RuleApp app,
PosInOccurrence pos,
Goal goal) |
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<CPBranch> |
getBranches(RuleApp oldApp)
Obtain the branches that can be taken at this point.
|
private final PosInOccurrence pos
private final RuleApp app
private final Goal goal
private CP(RuleApp app, PosInOccurrence pos, Goal goal)
public java.util.Iterator<CPBranch> getBranches(RuleApp oldApp)
ChoicePoint
getBranches
in interface ChoicePoint
oldApp
- the current rule application, which can already have been
modified by earlier ChoicePoint
sChoicePoint