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