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
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TADifferenceState
public TADifferenceState(TAState s1,
java.util.HashSet sList)
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