fr.umlv.unitex.rtn
Class State

java.lang.Object
  extended by 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)
           
 
Method Summary
 void addTransition(Transition t)
           
 int getGraphNumber()
           
 java.util.ArrayList getTransitions()
           
 boolean isSubinitial()
           
 boolean isTerminal()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

State

public State(boolean i,
             int n,
             boolean t)
Method Detail

addTransition

public void addTransition(Transition t)

getTransitions

public java.util.ArrayList getTransitions()

isSubinitial

public boolean isSubinitial()

isTerminal

public boolean isTerminal()

getGraphNumber

public int getGraphNumber()