#include <valueHeuristic.hh>
Inherited by FirstFailValue, LargestHalfFirst, LargestValueFirst, MedianValueFirst, SmallestHalfFirst, and SmallestValueFirst.
Inheritance diagram for valueHeuristic:
Public Member Functions | |
virtual int ** | subSet (Implicative *home, int var, int *nbRanges)=0 |
Protected Member Functions | |
int | whichSpaceOwns (Implicative *imp, int var) |
int | nbSpaces (Implicative *imp) |
IntVar * | getVar (Implicative *imp, int scope, int var) |
bool | scopeDefined (Implicative *imp, int scope) |
Friends | |
class | Implicative |
Definition at line 33 of file valueHeuristic.hh.
int valueHeuristic::whichSpaceOwns | ( | Implicative * | imp, | |
int | var | |||
) | [inline, protected] |
Definition at line 36 of file valueHeuristic.hh.
References Implicative::whichSpaceOwns.
Referenced by LargestHalfFirst::subSet(), SmallestHalfFirst::subSet(), MedianValueFirst::subSet(), LargestValueFirst::subSet(), SmallestValueFirst::subSet(), and FirstFailValue::subSet().
int valueHeuristic::nbSpaces | ( | Implicative * | imp | ) | [inline, protected] |
Definition at line 40 of file valueHeuristic.hh.
References Implicative::nbSpaces.
Referenced by getVar(), and FirstFailValue::subSet().
IntVar* valueHeuristic::getVar | ( | Implicative * | imp, | |
int | scope, | |||
int | var | |||
) | [inline, protected] |
Definition at line 44 of file valueHeuristic.hh.
References Implicative::goal, Implicative::goalDefined, nbSpaces(), Implicative::ruleDefined, Implicative::rules, and MySpace::v.
Referenced by LargestHalfFirst::subSet(), SmallestHalfFirst::subSet(), MedianValueFirst::subSet(), LargestValueFirst::subSet(), SmallestValueFirst::subSet(), and FirstFailValue::subSet().
bool valueHeuristic::scopeDefined | ( | Implicative * | imp, | |
int | scope | |||
) | [inline, protected] |
Definition at line 59 of file valueHeuristic.hh.
References Implicative::goalDefined, Implicative::nbSpaces, and Implicative::ruleDefined.
Referenced by FirstFailValue::subSet().
virtual int** valueHeuristic::subSet | ( | Implicative * | home, | |
int | var, | |||
int * | nbRanges | |||
) | [pure virtual] |
Implemented in FirstFailValue, SmallestValueFirst, LargestValueFirst, MedianValueFirst, SmallestHalfFirst, and LargestHalfFirst.
Referenced by QSolver::rSolve().
friend class Implicative [friend] |
Definition at line 34 of file valueHeuristic.hh.