Gecode::Choice Class Reference
[Programming actors]

Choice for performing commit More...

#include <core.hpp>

List of all members.

Public Member Functions
unsigned int	alternatives (void) const
	Return number of alternatives.
virtual	~Choice (void)
	Destructor.
virtual size_t	size (void) const =0
	Report size occupied by choice.
virtual void	archive (Archive &e) const
	Archive into e.
Static Public Member Functions
static void *	operator new (size_t)
	Allocate memory from heap.
static void	operator delete (void *)
	Return memory to heap.
Protected Member Functions
	Choice (const Brancher &b, const unsigned int a)
	Initialize for particular brancher b and alternatives a.

---

Detailed Description

Choice for performing commit

Must be refined by inheritance such that the information stored inside a choice is sufficient to redo a commit performed by a particular brancher.

Definition at line 1036 of file core.hpp.

---

Constructor & Destructor Documentation

Gecode::Choice::Choice	(	const Brancher &	b,
		const unsigned int	a
	)			[inline, protected]

Initialize for particular brancher b and alternatives a.

Definition at line 3169 of file core.hpp.

Gecode::Choice::~Choice

(

void

)

[inline, virtual]

Destructor.

Reimplemented in CDBF::Choice.

Definition at line 3183 of file core.hpp.

---

Member Function Documentation

unsigned int Gecode::Choice::alternatives

(

void

)

const [inline]

Return number of alternatives.

Definition at line 3173 of file core.hpp.

virtual size_t Gecode::Choice::size

(

void

)

const [pure virtual]

Report size occupied by choice.

Implemented in CDBF::Choice, Warnsdorff::Choice, SteelMill::SteelMillBranch::Choice, Gecode::FlatZinc::AuxVarBrancher::Choice, Gecode::Gist::StopChoice, Gecode::Int::Branch::PosValuesChoice, Gecode::Int::LDSB::LDSBChoice< Val >, Gecode::FunctionBranch::Description, Gecode::PosValChoice< Val >, and Gecode::PosChoice.

void * Gecode::Choice::operator new

(

size_t

s

)

[inline, static]

Allocate memory from heap.

Definition at line 2352 of file core.hpp.

void Gecode::Choice::operator delete

(

void *

p

)

[inline, static]

Return memory to heap.

Definition at line 2348 of file core.hpp.

void Gecode::Choice::archive

(

Archive &

e

)

const [virtual]

Archive into e.

Reimplemented in CDBF::Choice, Warnsdorff::Choice, SteelMill::SteelMillBranch::Choice, Gecode::FlatZinc::AuxVarBrancher::Choice, Gecode::Gist::StopChoice, Gecode::Int::Branch::PosValuesChoice, Gecode::Int::LDSB::LDSBChoice< Val >, Gecode::FunctionBranch::Description, Gecode::PosValChoice< Val >, and Gecode::PosChoice.

Definition at line 670 of file core.cpp.

---

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

• gecode/kernel/core.hpp (Revision: 14471)
• gecode/kernel/core.cpp (Revision: 14336)