public static final class StateSpace.Edge extends java.lang.Object
Edge()
int
getFrom()
getLabel()
getTo()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Edge()
public int getFrom()
public int getTo()
public int getLabel()