| backtrack(QSpace *qs) | BranchingHeuristic | |
| bloc | BranchingHeuristic | [private] |
| blocks | BranchingHeuristic | [private] |
| BranchingHeuristic(QSpace *qs, VariableHeuristic *ev) | BranchingHeuristic | |
| curHeap | BranchingHeuristic | [private] |
| eval | BranchingHeuristic | [private] |
| heaps | BranchingHeuristic | [private] |
| nextVar(QSpace *qs) | BranchingHeuristic | |
| score | BranchingHeuristic | [private] |
| size | BranchingHeuristic | [private] |
| touched | BranchingHeuristic | [private] |
| treated | BranchingHeuristic | [private] |
| updateVar(int pos, QSpace *qs) | BranchingHeuristic | |
| vartouched(int pos, QSpace *qs) | BranchingHeuristic |
1.5.2