VariableHeuristic Class Reference

Base class for variable heuristics. Variable heuristics are used by the branching heuristic to define the current score of each variable, and branch on the variable which have the biggest score. More...

#include <qecore.hh>

Inherited by SmallestDomainFirst.

Inheritance diagram for VariableHeuristic:

Inheritance graph
[legend]
List of all members.

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.

Detailed Description

Base class for variable heuristics. Variable heuristics are used by the branching heuristic to define the current score of each variable, and branch on the variable which have the biggest score.

Definition at line 183 of file qecore.hh.


Member Function Documentation

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.

Parameters:
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().


The documentation for this class was generated from the following file:
Generated on Thu Feb 7 14:34:28 2008 for qecode by  doxygen 1.5.2