class BreadthIterator extends java.lang.Object implements java.util.Iterator<java.lang.Object>
Modifier and Type | Field and Description |
---|---|
private java.util.List<AbsExpr> |
l |
private java.util.Set<AbsExpr> |
v |
Constructor and Description |
---|
BreadthIterator() |
Modifier and Type | Method and Description |
---|---|
(package private) void |
addNode(AbsExpr e) |
boolean |
hasNext() |
(package private) void |
markVisited(AbsExpr e) |
java.lang.Object |
next() |
void |
remove() |
(package private) boolean |
visited(AbsExpr e) |
BreadthIterator()
public boolean hasNext()
hasNext
in interface java.util.Iterator<java.lang.Object>
void markVisited(AbsExpr e)
public java.lang.Object next()
next
in interface java.util.Iterator<java.lang.Object>
public void remove()
remove
in interface java.util.Iterator<java.lang.Object>