Gecode::Int::Branch::PosValuesChoice< ViewSel, View > Class Template Reference

Choice storing position and values More...

#include <select-values.hpp>

List of all members.

Public Member Functions
	PosValuesChoice (const Brancher &b, const Pos &p, const typename ViewSel::Choice &viewc, View x)
	Initialize choice for brancher b, position p, view choice viewc, and view x.
	PosValuesChoice (const Brancher &b, unsigned int alt, Pos p, const typename ViewSel::Choice &viewc, Archive &e)
	Initialize choice for brancher b from e.
int	val (unsigned int a) const
	Return value to branch with for alternative a.
virtual size_t	size (void) const
	Report size occupied.
virtual	~PosValuesChoice (void)
	Deallocate.
virtual void	archive (Archive &e) const
	Archive into e.

---

Detailed Description

template<class ViewSel, class View>
class Gecode::Int::Branch::PosValuesChoice< ViewSel, View >

Choice storing position and values

The maximal number of alternatives is defined by alt.

Definition at line 46 of file select-values.hpp.

---

Constructor & Destructor Documentation

template<class ViewSel , class View >

Gecode::Int::Branch::PosValuesChoice< ViewSel, View >::PosValuesChoice	(	const Brancher &	b,
		const Pos &	p,
		const typename ViewSel::Choice &	viewc,
		View	x
	)			[inline]

Initialize choice for brancher b, position p, view choice viewc, and view x.

Definition at line 82 of file select-values.hpp.

template<class ViewSel , class View >

Gecode::Int::Branch::PosValuesChoice< ViewSel, View >::PosValuesChoice	(	const Brancher &	b,
		unsigned int	alt,
		Pos	p,
		const typename ViewSel::Choice &	viewc,
		Archive &	e
	)			[inline]

Initialize choice for brancher b from e.

Definition at line 101 of file select-values.hpp.

template<class ViewSel , class View >

Gecode::Int::Branch::PosValuesChoice< ViewSel, View >::~PosValuesChoice

(

void

)

[inline, virtual]

Deallocate.

Definition at line 138 of file select-values.hpp.

---

Member Function Documentation

template<class ViewSel , class View >

int Gecode::Int::Branch::PosValuesChoice< ViewSel, View >::val

(

unsigned int

a

)

const [inline]

Return value to branch with for alternative a.

Definition at line 114 of file select-values.hpp.

template<class ViewSel , class View >

size_t Gecode::Int::Branch::PosValuesChoice< ViewSel, View >::size

(

void

)

const [inline, virtual]

Report size occupied.

Reimplemented from Gecode::PosChoice< ViewSel >.

Definition at line 133 of file select-values.hpp.

template<class ViewSel , class View >

void Gecode::Int::Branch::PosValuesChoice< ViewSel, View >::archive

(

Archive &

e

)

const [inline, virtual]

Archive into e.

Reimplemented from Gecode::PosChoice< ViewSel >.

Definition at line 144 of file select-values.hpp.

---

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

• gecode/int/branch/select-values.hpp (Revision: 12001)