#include <qecore.hh>
Inherited by SmallestDomainFirst.
Inheritance diagram for VariableHeuristic:

Public Member Functions | |
| virtual int | score (QSpace *qs, int var)=0 |
| Returns the score of a variable. Returns the score of the variable var in the quantified space qs. | |
Definition at line 183 of file qecore.hh.
| virtual int VariableHeuristic::score | ( | QSpace * | qs, | |
| int | var | |||
| ) | [pure virtual] |
Returns the score of a variable. Returns the score of the variable var in the quantified space qs.
| var | The variable to obtain the score | |
| qs | A pointer to the quantified space in which the variable is. |
Implemented in SmallestDomainFirst.
Referenced by BranchingHeuristic::BranchingHeuristic(), and BranchingHeuristic::updateVar().
1.5.2