Gecode::FlatZinc::AuxVarBrancher::Choice Class Reference

Choice that only signals failure or success More...

List of all members.

Public Member Functions
	Choice (const Brancher &b, bool fail0)
	Initialize choice for brancher b.
virtual size_t	size (void) const
	Report size occupied.
virtual void	archive (Archive &e) const
	Archive into e.
Public Attributes
bool	fail
	Whether brancher should fail.

---

Detailed Description

Choice that only signals failure or success

Definition at line 137 of file flatzinc.cpp.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::AuxVarBrancher::Choice::Choice	(	const Brancher &	b,
		bool	fail0
	)			[inline]

Initialize choice for brancher b.

Definition at line 142 of file flatzinc.cpp.

---

Member Function Documentation

virtual size_t Gecode::FlatZinc::AuxVarBrancher::Choice::size

(

void

)

const [inline, virtual]

Report size occupied.

Definition at line 145 of file flatzinc.cpp.

virtual void Gecode::FlatZinc::AuxVarBrancher::Choice::archive

(

Archive &

e

)

const [inline, virtual]

Archive into e.

Reimplemented from Gecode::Choice.

Definition at line 149 of file flatzinc.cpp.

---

Member Data Documentation

bool Gecode::FlatZinc::AuxVarBrancher::Choice::fail

Whether brancher should fail.

Definition at line 140 of file flatzinc.cpp.

---

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

• gecode/flatzinc/flatzinc.cpp