import edu.berkeley.sbp.Sequence.Pos;
import java.util.*;
-final class ResultNode extends Node {
+final class ResultNode
+ 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;