Warnsdorff::Choice Class Reference

Choice More...

List of all members.

Public Member Functions
	Choice (const Brancher &b, int pos0, int val0)
virtual void	archive (Archive &e) const
	Archive into e.
Public Attributes
int	pos
	Position of variable.
int	val
	Value of variable.

---

Detailed Description

Choice

Definition at line 65 of file knights.cpp.

---

Constructor & Destructor Documentation

Warnsdorff::Choice::Choice	(	const Brancher &	b,
		int	pos0,
		int	val0
	)			[inline]

Initialize choice for brancher b, position pos0, and value val0.

Definition at line 74 of file knights.cpp.

---

Member Function Documentation

virtual void Warnsdorff::Choice::archive

(

Archive &

e

)

const [inline, virtual]

Archive into e.

Reimplemented from Gecode::Choice.

Definition at line 77 of file knights.cpp.

---

Member Data Documentation

int Warnsdorff::Choice::pos

Position of variable.

Definition at line 68 of file knights.cpp.

int Warnsdorff::Choice::val

Value of variable.

Definition at line 70 of file knights.cpp.

---

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

• examples/knights.cpp