Ejemplo n.º 1
0
  @Override
  public void stateAdvanced(Search search) {
    if (search.isNewState() && (lastElement != null)) {
      int stateId = search.getStateId();

      for (TraceElement<T> op = lastElement; op != null; op = op.prevElement) {
        assert op.stateId == 0;

        op.stateId = stateId;
      }

      lastElement.prevTransition = lastTransition;
      lastTransition = lastElement;
    }

    lastElement = null;
  }