QSolver Class Reference

#include <qsolver.hh>

Collaboration diagram for QSolver:

[legend]List of all members.

Public Member Functions
QECODE_EXPORT	QSolver (Implicative *sp)
QECODE_EXPORT Strategy	solve (unsigned long int &nodes)
Private Member Functions
Strategy	rSolve (Implicative *qs, int scope, vector< int > assignments, unsigned long int &nodes)
Private Attributes
int	n
Implicative *	sp
int *	nbRanges

---

Detailed Description

Definition at line 34 of file qsolver.hh.

---

Constructor & Destructor Documentation

QSolver::QSolver

(

Implicative *

sp

)

Definition at line 26 of file qsolver.cc.

References nbRanges, and sp.

---

Member Function Documentation

Strategy QSolver::rSolve	(	Implicative *	qs,
		int	scope,
		vector< int >	assignments,
		unsigned long int &	nodes
	)			[private]

Definition at line 37 of file qsolver.cc.

References Strategy::attach(), StrategyNode::Dummy(), Implicative::getGoal(), Implicative::getOptType(), Implicative::getOptVar(), Implicative::getSpace(), OptVar::getVal(), Strategy::isFalse(), Implicative::nbVarInScope(), MySpace::nbVars(), Implicative::quantification(), Strategy::SFalse(), StrategyNode::SFalse(), Implicative::spaces(), StrategyNode::STrue(), MySpace::type_of_v, MySpace::v, VTYPE_BOOL, and VTYPE_INT.

Referenced by solve().

Strategy QSolver::solve

(

unsigned long int &

nodes

)

Definition at line 31 of file qsolver.cc.

References rSolve(), and sp.

Referenced by main().

---

Member Data Documentation

int QSolver::n [private]

Definition at line 37 of file qsolver.hh.

Implicative* QSolver::sp [private]

Definition at line 38 of file qsolver.hh.

Referenced by QSolver(), and solve().

int* QSolver::nbRanges [private]

Definition at line 39 of file qsolver.hh.

Referenced by QSolver().

---

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

• /Users/jamian/Desktop/qecode/qsolver.hh
• /Users/jamian/Desktop/qecode/qsolver.cc

---