#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().