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 |