public class Symbol extends java.lang.Object
Graph
graph
java.lang.String
name
NodeType
typ
Symbol(NodeType typ, java.lang.String name)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final NodeType typ
public final java.lang.String name
public Graph graph
public Symbol(NodeType typ, java.lang.String name)