|
Interface Summary |
| Clearable |
A data structure which may be 'cleared', i.e. reverted to its initial
(empty) state. |
| EdgeMap<Val> |
A mapping of edges to values. |
| FixedEdgeMap<Val> |
An immutable mapping of edges to values. |
| FixedNodeCollection |
A immutable collection of Nodes (similar to a java.util.Collection. |
| FixedNodeMap<Val> |
An immutable mapping of nodes to values |
| FixedNodeSet |
A immutable set of nodes (similar to a java.util.Set). |
| FixedPath |
This class models a (not necessarily simple) directed path
in a graph, i.e., a sequence of nodes and edges. |
| Initializable |
A data structure which has to initialized with a graph before
objects belonging to the graph may be stored in it. |
| InitializableWithDefaultValue<Val> |
An initalizable data structure which also supports initialization
with a default value. |
| NodeMap<Val> |
A mapping of nodes to values. |
| NodeNumbering |
A data structure which maps nodes to integers. |
| NodeQueue |
A FIFO-buffer for Nodes |
| NodeSet |
A set of node (similar to a java.util.Set). |
| NodeStack |
A simple stack with the possibility to push and pop nodes. |
| Path |
This class models a (not necessarily simple) modifiable directed path
in a graph, i.e., a sequence of nodes and edges. |
