Gecode::Set::Branch::ValRnd< inc > Class Template Reference

Class for random value selection. More...

#include <branch.hh>

List of all members.

Public Types
typedef SetView	View
	View type.
typedef int	Val
	Value type.
typedef ArchivedRandomGenerator	Choice
	Choice.
Public Member Functions
	ValRnd (void)
	Default constructor.
	ValRnd (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
int	val (Space &home, SetView x)
	Return minimum value of view x.
ModEvent	tell (Space &home, unsigned int a, SetView x, int n)
	Tell (a = 0) or (a = 1)
Choice	choice (Space &home)
	Return choice.
Choice	choice (const Space &home, Archive &e)
	Return choice.
void	commit (Space &home, const Choice &c, unsigned a)
	Commit to choice.
void	update (Space &home, bool share, ValRnd &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete value selection.
Static Public Attributes
static const unsigned int	alternatives = 2
	Number of alternatives.
Protected Attributes
ArchivedRandomGenerator	r
	Random number generator.

---

Detailed Description

template<bool inc>
class Gecode::Set::Branch::ValRnd< inc >

Class for random value selection.

Requires

 #include <gecode/set/branch.hh> 

Definition at line 130 of file branch.hh.

---

Member Typedef Documentation

template<bool inc>

typedef SetView Gecode::Set::Branch::ValRnd< inc >::View

View type.

Definition at line 136 of file branch.hh.

template<bool inc>

typedef int Gecode::Set::Branch::ValRnd< inc >::Val

Value type.

Definition at line 138 of file branch.hh.

template<bool inc>

typedef ArchivedRandomGenerator Gecode::Set::Branch::ValRnd< inc >::Choice

Choice.

Definition at line 140 of file branch.hh.

---

Constructor & Destructor Documentation

template<bool inc>

Gecode::Set::Branch::ValRnd< inc >::ValRnd

(

void

)

[inline]

Default constructor.

Definition at line 121 of file select-val.hpp.

template<bool inc>

Gecode::Set::Branch::ValRnd< inc >::ValRnd	(	Space &	home,
		const ValBranchOptions &	vbo
	)		[inline]

Constructor for initialization.

Definition at line 124 of file select-val.hpp.

---

Member Function Documentation

template<bool inc>

int Gecode::Set::Branch::ValRnd< inc >::val	(	Space &	home,
		SetView	x
	)		[inline]

Return minimum value of view x.

Definition at line 128 of file select-val.hpp.

template<bool inc>

ModEvent Gecode::Set::Branch::ValRnd< inc >::tell	(	Space &	home,
		unsigned int	a,
		SetView	x,
		int	n
	)		[inline]

Tell (a = 0) or (a = 1)

Definition at line 141 of file select-val.hpp.

template<bool inc>

ValRnd< inc >::Choice Gecode::Set::Branch::ValRnd< inc >::choice

(

Space &

home

)

[inline]

Return choice.

Definition at line 146 of file select-val.hpp.

template<bool inc>

ValRnd< inc >::Choice Gecode::Set::Branch::ValRnd< inc >::choice	(	const Space &	home,
		Archive &	e
	)		[inline]

Return choice.

Definition at line 151 of file select-val.hpp.

template<bool inc>

void Gecode::Set::Branch::ValRnd< inc >::commit	(	Space &	home,
		const Choice &	c,
		unsigned	a
	)		[inline]

Commit to choice.

Definition at line 156 of file select-val.hpp.

template<bool inc>

void Gecode::Set::Branch::ValRnd< inc >::update	(	Space &	home,
		bool	share,
		ValRnd< inc > &	vs
	)		[inline]

Updating during cloning.

Definition at line 162 of file select-val.hpp.

template<bool inc>

void Gecode::Set::Branch::ValRnd< inc >::dispose

(

Space &

home

)

[inline]

Delete value selection.

Definition at line 167 of file select-val.hpp.

---

Member Data Documentation

template<bool inc>

ArchivedRandomGenerator Gecode::Set::Branch::ValRnd< inc >::r [protected]

Random number generator.

Definition at line 133 of file branch.hh.

template<bool inc>

const unsigned int Gecode::Set::Branch::ValRnd< inc >::alternatives = 2 [static]

Number of alternatives.

Reimplemented in Gecode::Set::Branch::AssignValRnd< inc >.

Definition at line 142 of file branch.hh.

---

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

• gecode/set/branch.hh (Revision: 12001)
• gecode/set/branch/select-val.hpp (Revision: 12001)