Lines Matching refs:p_stack
15 info_out(2, "Current partition: " << p->p_stack.dumpCurrentPartition()); in doSearchBranch()
24 int cell_start = p->p_stack.cellStartPos(branchcell); in doSearchBranch()
29 int first_val_pos = p->p_stack.invval(first_val); in doSearchBranch()
30 p->p_stack.swapPositions(first_val_pos, cell_start); in doSearchBranch()
35 vec1<int> cell = p->p_stack.cellAsVec(branchcell); in doSearchBranch()
54 int i_pos = p->p_stack.invval(cell[i]); in doSearchBranch()
57 p->p_stack.swapPositions(cell_start, i_pos); in doSearchBranch()
66 SplitState branch_split = p->p_stack.split(branchcell, cell_start + 1); in doSearchBranch()
70 debug_out(3, "search", "Perm State " << p->p_stack.printCurrentPartition()); in doSearchBranch()
124 p->p_stack.setAbstractQueue(&tfq); in doSearch()
165 p->p_stack.setAbstractQueue(&tfq); in doCosetSearch()