import java.util.*;
import java.lang.reflect.*;
-class Node
+class Node<OtherNode extends Node>
implements IntegerMappable,
GraphViz.ToGraphViz {
+ protected FastSet<OtherNode> predecessors = new FastSet<OtherNode>();
+ protected FastSet<OtherNode> successors = new FastSet<OtherNode>();
+ //private HashSet<OtherNode> predecessors = new HashSet<OtherNode>();
+ //private HashSet<OtherNode> successors = new HashSet<OtherNode>();
+
// GraphViz //////////////////////////////////////////////////////////////////////////////
public GraphViz.StateNode toGraphViz(GraphViz gv) {