xrel.analyzer
Interface TAState

All Known Implementing Classes:
TADifferenceState

public interface TAState

TODO insert comment here

Author:
Fabrizio Bisi

Method Summary
 java.lang.Object clone()
           
 java.util.HashSet get_epsClos()
           
 java.util.Vector getTransitions()
           
 boolean isFinal()
           
 void set_epsClos(java.util.HashSet e_clos)
           
 void setFinal(boolean isFin)
           
 

Method Detail

get_epsClos

public java.util.HashSet get_epsClos()

set_epsClos

public void set_epsClos(java.util.HashSet e_clos)

isFinal

public boolean isFinal()

setFinal

public void setFinal(boolean isFin)

getTransitions

public java.util.Vector getTransitions()

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object