- //private HashSet<Node> predecessors = new HashSet<Node>();
- //private HashSet<Node> successors = new HashSet<Node>();
- private FastSet<Node> predecessors = new FastSet<Node>();
- private FastSet<Node> successors = new FastSet<Node>();
+ //private HashSet<StateNode> predecessors = new HashSet<StateNode>();
+ //private HashSet<StateNode> successors = new HashSet<StateNode>();
+ private FastSet<StateNode> predecessors = new FastSet<StateNode>();
+ private FastSet<StateNode> successors = new FastSet<StateNode>();