private final class ForEachCP.CP.BranchIterator extends java.lang.Object implements java.util.Iterator<CPBranch>
Modifier and Type | Field and Description |
---|---|
private RuleApp |
oldApp |
private java.util.Iterator<Term> |
terms |
Modifier | Constructor and Description |
---|---|
private |
BranchIterator(java.util.Iterator<Term> terms,
RuleApp oldApp) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
CPBranch |
next() |
void |
remove() |