#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 |
virtual | ~valueHeuristic () |
Protected Member Functions | |
int | whichSpaceOwns (Implicative *imp, int var) |
int | nbSpaces (Implicative *imp) |
IntVar * | getIntVar (Implicative *imp, int scope, int var) |
bool | scopeDefined (Implicative *imp, int scope) |
BoolVar * | getBoolVar (Implicative *imp, int scope, int var) |
Friends | |
class | Implicative |
Definition at line 34 of file valueHeuristic.hh.
virtual valueHeuristic::~valueHeuristic | ( | ) | [inline, virtual] |
Definition at line 84 of file valueHeuristic.hh.
int valueHeuristic::whichSpaceOwns | ( | Implicative * | imp, | |
int | var | |||
) | [inline, protected] |
Definition at line 37 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 41 of file valueHeuristic.hh.
References Implicative::nbSpaces.
Referenced by FirstFailValue::subSet().
IntVar* valueHeuristic::getIntVar | ( | Implicative * | imp, | |
int | scope, | |||
int | var | |||
) | [inline, protected] |
Definition at line 45 of file valueHeuristic.hh.
References Implicative::goal, Implicative::goalDefined, Implicative::nbSpaces, Implicative::ruleDefined, Implicative::rules, QSpace::type_of_v, MySpace::v, and VTYPE_INT.
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 61 of file valueHeuristic.hh.
References Implicative::goalDefined, Implicative::nbSpaces, and Implicative::ruleDefined.
Referenced by FirstFailValue::subSet().
BoolVar* valueHeuristic::getBoolVar | ( | Implicative * | imp, | |
int | scope, | |||
int | var | |||
) | [inline, protected] |
Definition at line 66 of file valueHeuristic.hh.
References Implicative::goal, Implicative::goalDefined, Implicative::nbSpaces, Implicative::ruleDefined, Implicative::rules, QSpace::type_of_v, MySpace::v, and VTYPE_INT.
Referenced by LargestHalfFirst::subSet(), SmallestHalfFirst::subSet(), MedianValueFirst::subSet(), LargestValueFirst::subSet(), SmallestValueFirst::subSet(), and 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 35 of file valueHeuristic.hh.