ScoreAttribuer Class Reference

Base class for score attribuers. Score attribuers 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 sdf.

Inheritance diagram for ScoreAttribuer:

[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 score attribuers. Score attribuers 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 137 of file qecore.hh.

---

Member Function Documentation

virtual int ScoreAttribuer::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 sdf.

Referenced by BranchingHeuristic::BranchingHeuristic(), and BranchingHeuristic::updateVar().

---

The documentation for this class was generated from the following file:

• /Users/jamian/qecode-1.1/qecode/qecore.hh

---