fr.umlv.unitex.rtn
Class State
java.lang.Object
fr.umlv.unitex.rtn.State
public class State
- extends java.lang.Object
- Author:
- Sébastien Paumier
Constructor Summary |
State(boolean i,
int n,
boolean t)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
State
public State(boolean i,
int n,
boolean t)
addTransition
public void addTransition(Transition t)
getTransitions
public java.util.ArrayList getTransitions()
isSubinitial
public boolean isSubinitial()
isTerminal
public boolean isTerminal()
getGraphNumber
public int getGraphNumber()