com.inxar.syntacs.automaton.finite
Class TreeDFA.State

java.lang.Object
  |
  +--com.inxar.syntacs.automaton.finite.TreeDFA.State
Enclosing class:
TreeDFA

public static class TreeDFA.State
extends Object

The TreeDFA.State class is models a single state as tuple (output, edge_tree) where output is an integer which records the accepting NFA state and edge_tree holds the outgoing edges of the state tree.


Field Summary
 int output
           
 TreeDFA.Edge tree
           
 
Constructor Summary
TreeDFA.State(TreeDFA.Edge tree, int output)
          Constructs the State on the given Edge tree and int output.
 
Method Summary
 void toBuffer(StringBuffer b)
           
 void toBuffer(StringBuffer b, TreeDFA.Edge edge)
           
 void vizualize(GraphViz dot)
           
 void vizualize(GraphViz dot, TreeDFA.Edge edge)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

output

public int output

tree

public TreeDFA.Edge tree
Constructor Detail

TreeDFA.State

public TreeDFA.State(TreeDFA.Edge tree,
                     int output)
Constructs the State on the given Edge tree and int output.
Method Detail

toBuffer

public void toBuffer(StringBuffer b)

toBuffer

public void toBuffer(StringBuffer b,
                     TreeDFA.Edge edge)

vizualize

public void vizualize(GraphViz dot)

vizualize

public void vizualize(GraphViz dot,
                      TreeDFA.Edge edge)