Map<ActionStateKey,Integer>
getActions()
List<ExecutionEdge>
getEdges()
Integer
getId()
Map<Long,ExecutionVertex>
getVertexes()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait