public void merge(Forest newf) { this.f.merge(newf); }
public Pos reduction() { return reduction; }
public boolean isDoomedState() { /* this is irrelevant */ return false; }
public Forest getForest() { return f; }
public String toString() { return super.toString()+"->"+phase(); }
public void merge(Forest newf) { this.f.merge(newf); }
public Pos reduction() { return reduction; }
public boolean isDoomedState() { /* this is irrelevant */ return false; }
public Forest getForest() { return f; }
public String toString() { return super.toString()+"->"+phase(); }