xrel.analyzer
Class TA_State
java.lang.Object
|
+--xrel.analyzer.TA_State
- public class TA_State
- extends java.lang.Object
An object of this class represents a state of the tree automaton.
- Author:
- Fabrizio Bisi
Constructor Summary |
TA_State()
Initializes a new tree automaton state. |
Method Summary |
java.util.HashSet |
get_epsClos()
Gets the epsilon closure of this state. |
int |
getId()
Returns the internal unique number that defines the state. |
void |
set_epsClos(java.util.HashSet e_clos)
Sets the epsilon closure of this state. |
java.lang.String |
toString()
Gets a string that represents the state. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TA_State
public TA_State()
- Initializes a new tree automaton state.
getId
public int getId()
- Returns the internal unique number that defines the state.
- Returns:
- the id code of the state
get_epsClos
public java.util.HashSet get_epsClos()
- Gets the epsilon closure of this state. If you don't call
compute_closures() on the associated automaton this function
returns null.
- Returns:
- the epsilon closure or null
set_epsClos
public void set_epsClos(java.util.HashSet e_clos)
- Sets the epsilon closure of this state. Don't use this function,
instead call compute_closures() on the associated automaton.
- Parameters:
e_clos
- the epsilon closure for the state
toString
public java.lang.String toString()
- Gets a string that represents the state.
- Overrides:
toString
in class java.lang.Object
- Returns:
- a string that represents the state
- See Also:
Object.toString()