sdf Class Reference

#include <scoreSDF.hh>

Inherits ScoreAttribuer.

Inheritance diagram for sdf:

[legend]Collaboration diagram for sdf:

[legend]List of all members.

Public Member Functions
virtual 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 scoreSDF.hh.

---

Member Function Documentation

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

Definition at line 25 of file scoreSDF.cc.

References QSpace::v.

---

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

• /Users/jamian/qecode-1.1/qecode/scoreSDF.hh
• /Users/jamian/qecode-1.1/qecode/scoreSDF.cc

---