Warnsdorff::Choice Class Reference

Choice More...

List of all members.

Public Member Functions
	Choice (const Brancher &b, int pos0, int val0)
virtual size_t	size (void) const
	Report size occupied.
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 66 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 75 of file knights.cpp.

---

Member Function Documentation

virtual size_t Warnsdorff::Choice::size

(

void

)

const [inline, virtual]

Report size occupied.

Implements Gecode::Choice.

Definition at line 78 of file knights.cpp.

virtual void Warnsdorff::Choice::archive

(

Archive &

e

)

const [inline, virtual]

Archive into e.

Reimplemented from Gecode::Choice.

Definition at line 82 of file knights.cpp.

---

Member Data Documentation

int Warnsdorff::Choice::pos

Position of variable.

Definition at line 69 of file knights.cpp.

int Warnsdorff::Choice::val

Value of variable.

Definition at line 71 of file knights.cpp.

---

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

• examples/knights.cpp (Revision: 12022)