private static class AllowedCutPositionsGenerator.ACPIterator extends java.lang.Object implements java.util.Iterator<Term>
Modifier and Type | Field and Description |
---|---|
private java.util.Stack<java.lang.Object> |
termStack |
Constructor and Description |
---|
ACPIterator(Term t,
boolean negated) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
Term |
next() |
private void |
push(Term t,
boolean negated) |
void |
remove() |
public ACPIterator(Term t, boolean negated)