Gecode::ViewSelRnd< _View > Class Template Reference [Generic view selection for brancher based on view and value selection]

View selection class for random selection. More...

#include <brancher-view.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef Support::RandomGenerator	Choice
	View selection choice.
Public Member Functions
	ViewSelRnd (void)
	Default constructor.
	ViewSelRnd (Space &home, const VarBranchOptions &vbo)
	Constructor for initialization.
ViewSelStatus	init (Space &home, _View x)
	Intialize with view x.
ViewSelStatus	select (Space &home, _View x)
	Possibly select better view x.
Support::RandomGenerator	choice (Space &home)
	Return choice.
void	commit (Space &home, const Support::RandomGenerator &c, unsigned a)
	Commit to choice.
void	update (Space &home, bool share, ViewSelRnd &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete view selection.
Protected Attributes
Support::RandomGenerator	r
	Random number generator.
unsigned int	n
	Number of views considered so far.

---

Detailed Description

template<class _View>
class Gecode::ViewSelRnd< _View >

View selection class for random selection.

Definition at line 173 of file brancher-view.hpp.

---

Member Typedef Documentation

template<class _View>

typedef _View Gecode::ViewSelRnd< _View >::View

View type.

Definition at line 181 of file brancher-view.hpp.

template<class _View>

typedef Support::RandomGenerator Gecode::ViewSelRnd< _View >::Choice

View selection choice.

Definition at line 183 of file brancher-view.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ViewSelRnd< View >::ViewSelRnd

(

void

)

[inline]

Default constructor.

Definition at line 372 of file brancher-view.hpp.

template<class View >

Gecode::ViewSelRnd< View >::ViewSelRnd	(	Space &	home,
		const VarBranchOptions &	vbo
	)			[inline]

Constructor for initialization.

Definition at line 375 of file brancher-view.hpp.

---

Member Function Documentation

template<class _View>

ViewSelStatus Gecode::ViewSelRnd< _View >::init	(	Space &	home,
		_View	x
	)

Intialize with view x.

template<class _View>

ViewSelStatus Gecode::ViewSelRnd< _View >::select	(	Space &	home,
		_View	x
	)

Possibly select better view x.

template<class View >

Support::RandomGenerator Gecode::ViewSelRnd< View >::choice

(

Space &

home

)

[inline]

Return choice.

Definition at line 391 of file brancher-view.hpp.

template<class View >

void Gecode::ViewSelRnd< View >::commit	(	Space &	home,
		const Support::RandomGenerator &	c,
		unsigned	a
	)			[inline]

Commit to choice.

Definition at line 396 of file brancher-view.hpp.

template<class _View>

void Gecode::ViewSelRnd< _View >::update	(	Space &	home,
		bool	share,
		ViewSelRnd< _View > &	vs
	)

Updating during cloning.

template<class View >

void Gecode::ViewSelRnd< View >::dispose

(

Space &

home

)

[inline]

Delete view selection.

Definition at line 407 of file brancher-view.hpp.

---

Member Data Documentation

template<class _View>

Support::RandomGenerator Gecode::ViewSelRnd< _View >::r [protected]

Random number generator.

Definition at line 176 of file brancher-view.hpp.

template<class _View>

unsigned int Gecode::ViewSelRnd< _View >::n [protected]

Number of views considered so far.

Definition at line 178 of file brancher-view.hpp.

---

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

• gecode/kernel/brancher-view.hpp (Revision: 9897)