newNode(primordealResult, startState, true);
}
public Phase(Phase prev, Forest forest) throws ParseFailed, IOException {
newNode(primordealResult, startState, true);
}
public Phase(Phase prev, Forest forest) throws ParseFailed, IOException {
public Input.Location getNextLocation() { return nextLocation; }
public boolean isFrontier() { return hash!=null; }
public Input.Location getNextLocation() { return nextLocation; }
public boolean isFrontier() { return hash!=null; }
void newNodeFromReduction(Result result, State state, Position reduction) {
int pos = result.phase().pos;
Sequence owner = reduction.owner();
void newNodeFromReduction(Result result, State state, Position reduction) {
int pos = result.phase().pos;
Sequence owner = reduction.owner();