private static class AllowedCutPositionsGenerator.ACPIterator extends Object implements Iterator<Term>
private Stack<Object>
termStack
AllowedCutPositionsGenerator.ACPIterator(Term t, boolean negated)
boolean
hasNext()
Term
next()
private void
push(Term t, boolean negated)
void
remove()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private final Stack<Object> termStack
public AllowedCutPositionsGenerator.ACPIterator(Term t, boolean negated)
private void push(Term t, boolean negated)
public boolean hasNext()
hasNext
Iterator<Term>
public Term next()
next
public void remove()
remove