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>