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
 

Constructor Detail

TA_State

public TA_State()
Initializes a new tree automaton state.
Method Detail

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()