extends Node<StateNode> {
private Forest.Many f = new Forest.Many();
- //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>();
private boolean destroyed = false;
private boolean primordeal;
private int usedByNonDoomedNode = 0;