xrel.analyzer
Class TASubsetState

java.lang.Object
  |
  +--xrel.analyzer.TASubsetState
All Implemented Interfaces:
TAState

public class TASubsetState
extends java.lang.Object
implements TAState

TODO insert comment here

Author:
Fabrizio Bisi

Constructor Summary
TASubsetState(java.util.HashSet qSet)
           
 
Method Summary
 java.lang.Object clone()
           
 java.util.HashSet get_epsClos()
           
 java.util.HashSet getStateSet()
           
 java.util.Vector getTransitions()
           
 boolean isFinal()
           
 void set_epsClos(java.util.HashSet e_clos)
           
 void setFinal(boolean isFin)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TASubsetState

public TASubsetState(java.util.HashSet qSet)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in interface TAState
Overrides:
clone in class java.lang.Object

get_epsClos

public java.util.HashSet get_epsClos()
Specified by:
get_epsClos in interface TAState

set_epsClos

public void set_epsClos(java.util.HashSet e_clos)
Specified by:
set_epsClos in interface TAState

getStateSet

public java.util.HashSet getStateSet()

isFinal

public boolean isFinal()
Specified by:
isFinal in interface TAState

setFinal

public void setFinal(boolean isFin)
Specified by:
setFinal in interface TAState

getTransitions

public java.util.Vector getTransitions()
Specified by:
getTransitions in interface TAState

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object