| getBoolVar(Implicative *imp, int scope, int var) | valueHeuristic | [inline, protected] |
| getIntVar(Implicative *imp, int scope, int var) | valueHeuristic | [inline, protected] |
| nbSpaces(Implicative *imp) | valueHeuristic | [inline, protected] |
| scopeDefined(Implicative *imp, int scope) | valueHeuristic | [inline, protected] |
| subSet(Implicative *home, int var, int *nbRanges) | LargestValueFirst | [virtual] |
| whichSpaceOwns(Implicative *imp, int var) | valueHeuristic | [inline, protected] |
| ~LargestValueFirst() | LargestValueFirst | [inline, virtual] |
| ~valueHeuristic() | valueHeuristic | [inline, virtual] |
