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