xrel.analyzer
Class TADifferenceState

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

public class TADifferenceState
extends java.lang.Object
implements TAState

TODO insert comment here

Author:
Fabrizio Bisi

Constructor Summary
TADifferenceState(TAState s1, java.util.HashSet sList)
           
 
Method Summary
 java.lang.Object clone()
           
 java.util.HashSet get_epsClos()
           
 TAState getState1()
           
 java.util.HashSet getStateList()
           
 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

TADifferenceState

public TADifferenceState(TAState s1,
                         java.util.HashSet sList)
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

getState1

public TAState getState1()

getStateList

public java.util.HashSet getStateList()

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