public static final class StateDescriptorGraph.GraphVertex<E>
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
E |
getElement() |
java.util.List<StateDescriptorGraph.GraphVertex<E>> |
getOutgoingEdges() |
java.lang.String |
toString() |
java.lang.String |
toString(boolean includeOutgoingEdges) |
public E getElement()
public java.util.List<StateDescriptorGraph.GraphVertex<E>> getOutgoingEdges()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(boolean includeOutgoingEdges)