SmallestDomainFirst Class Reference

#include <SDFVariableHeuristic.hh>

Inherits VariableHeuristic.

Inheritance diagram for SmallestDomainFirst:

[legend]Collaboration diagram for SmallestDomainFirst:

[legend]List of all members.

Public Member Functions
virtual QECODE_EXPORT int	score (QSpace *qs, int var)
	Returns the score of a variable. Returns the score of the variable var in the quantified space qs.

---

Detailed Description

A score attribuer for performing smallest domain first search.

Definition at line 29 of file SDFVariableHeuristic.hh.

---

Member Function Documentation

int SmallestDomainFirst::score	(	QSpace *	qs,
		int	var
	)			[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.

Implements VariableHeuristic.

Definition at line 25 of file SDFVariableHeuristic.cc.

References QSpace::type_of_v, QSpace::v, VTYPE_BOOL, and VTYPE_INT.

---

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

• /Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/SDFVariableHeuristic.hh
• /Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/SDFVariableHeuristic.cc

---