public class DepthFirstExpandCollection<N> extends java.lang.Object implements ExpandCollection<N>
Constructor and Description |
---|
DepthFirstExpandCollection() |
Modifier and Type | Method and Description |
---|---|
void |
add(java.util.Collection<? extends N> newElements)
Adds the given elements to the collection.
|
boolean |
isEmpty()
Checks whether or not the collection retained by this ExpandCollection is
empty.
|
N |
pop()
Gets and removes the first element to be expanded by the node expander.
|
protected java.util.Stack<N> stack
public void add(java.util.Collection<? extends N> newElements)
ExpandCollection
add
in interface ExpandCollection<N>
newElements
- the nodes to expand furtherpublic N pop()
ExpandCollection
assert (!isEmpty())
pop
in interface ExpandCollection<N>
public boolean isEmpty()
ExpandCollection
isEmpty
in interface ExpandCollection<N>