private Pos reduction;
private GSS.Phase predPhase;
- public boolean predecessorsContains(StateNode n) {
- return predecessors.contains(n);
- }
public Pos reduction() { return reduction; }
public void merge(Forest newf) {
this.f.merge(newf);
*/
}
- public boolean noSuccessors() { return successors.size()==0; }
-
public GSS.Phase phase() { return predPhase; }
public Forest getForest() { return f; }
- public Iterable<StateNode> getPreds() { return predecessors; }
public void addSucc(StateNode succ) {
if (successors.contains(succ)) return;
successors.add(succ);