QCP Class Reference
[Example scripts (models)]

Example: Quasigroup completion More...

List of all members.

Public Types
enum	{ PROP_BINARY, PROP_DISTINCT }
	Propagation to use for model. More...
enum	{ BRANCH_SIZE, BRANCH_AFC_SIZE }
	Branching to use for model. More...
Public Member Functions
	QCP (const QCPOptions &opt)
	Actual model.
double	_tbl_min (double w, double b) const
	Tie-breaking minimum limit function.
double	_tbl_max (double w, double b) const
	Tie-breaking maximum limit function.
	QCP (bool share, QCP &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Copy during cloning.
virtual void	print (std::ostream &os) const
	Print solution.
Static Public Member Functions
static double	tbl_min (const Space &home, double w, double b)
	Tie-breaking minimum limit function.
static double	tbl_max (const Space &home, double w, double b)
	Tie-breaking maximum limit function.
Protected Attributes
const Spec	spec
	Specification.
IntVarArray	e
	Field elements e.
double	tbf
	Tie-breaking factor.

---

Detailed Description

Example: Quasigroup completion

Definition at line 128 of file qcp.cpp.

---

Member Enumeration Documentation

anonymous enum

Propagation to use for model.

Enumerator:

PROP_BINARY	Use only binary disequality constraints.
PROP_DISTINCT	Use distinct constraints.

Definition at line 138 of file qcp.cpp.

anonymous enum

Branching to use for model.

Enumerator:

BRANCH_SIZE	Use smallest domain size first.
BRANCH_AFC_SIZE	Use largest AFC divided by domain size.

Definition at line 143 of file qcp.cpp.

---

Constructor & Destructor Documentation

QCP::QCP

(

const QCPOptions &

opt

)

[inline]

Actual model.

Definition at line 148 of file qcp.cpp.

QCP::QCP	(	bool	share,
		QCP &	s
	)			[inline]

Constructor for cloning s.

Definition at line 229 of file qcp.cpp.

---

Member Function Documentation

double QCP::_tbl_min	(	double	w,
		double	b
	)			const [inline]

Tie-breaking minimum limit function.

Definition at line 211 of file qcp.cpp.

static double QCP::tbl_min	(	const Space &	home,
		double	w,
		double	b
	)			[inline, static]

Tie-breaking minimum limit function.

Definition at line 216 of file qcp.cpp.

double QCP::_tbl_max	(	double	w,
		double	b
	)			const [inline]

Tie-breaking maximum limit function.

Definition at line 220 of file qcp.cpp.

static double QCP::tbl_max	(	const Space &	home,
		double	w,
		double	b
	)			[inline, static]

Tie-breaking maximum limit function.

Definition at line 225 of file qcp.cpp.

virtual Space* QCP::copy

(

bool

share

)

[inline, virtual]

Copy during cloning.

Definition at line 235 of file qcp.cpp.

virtual void QCP::print

(

std::ostream &

os

)

const [inline, virtual]

Print solution.

Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.

Definition at line 240 of file qcp.cpp.

---

Member Data Documentation

const Spec QCP::spec [protected]

Specification.

Definition at line 131 of file qcp.cpp.

IntVarArray QCP::e [protected]

Field elements e.

Definition at line 133 of file qcp.cpp.

double QCP::tbf [protected]

Tie-breaking factor.

Definition at line 135 of file qcp.cpp.

---

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

• examples/qcp.cpp (Revision: 14447)