Gecode::Set::Branch::ValRnd< inc > Class Template Reference
[Integer value selection for branching]

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 Support::RandomGenerator	Desc
	Description type.
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).
Support::RandomGenerator	description (Space &home)
	Return description.
void	commit (Space &home, const Support::RandomGenerator &d, unsigned a)
	Commit to description.
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
Support::RandomGenerator	r
	Random number generator.

---

Detailed Description

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

Class for random value selection.

Requires

 #include <gecode/int/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 Support::RandomGenerator Gecode::Set::Branch::ValRnd< inc >::Desc

Description type.

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>

Support::RandomGenerator Gecode::Set::Branch::ValRnd< inc >::description

(

Space &

home

)

[inline]

Return description.

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

template<bool inc>

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

Commit to description.

Definition at line 151 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 157 of file select-val.hpp.

template<bool inc>

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

(

Space &

home

)

[inline]

Delete value selection.

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

---

Member Data Documentation

template<bool inc>

Support::RandomGenerator 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: 8166)
• gecode/set/branch/select-val.hpp (Revision: 8166)