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