public class ReachabilityGraph extends TransitionSystemImpl
Constructor and Description |
---|
ReachabilityGraph(java.lang.String label) |
addProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, getTransitions, putProxy, removeEdge, removeNode, removeState, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getLabel
getInEdges, getOutEdges
equals, getGraph, hashCode