this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;
this.statePool[old_state_pool_top] = new StateInfo(act, this.stateSeen[stack_top]); this.stateSeen[stack_top] = old_state_pool_top;