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

View selection class for random selection. More...

#include <branching-view.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef Support::RandomGenerator	Desc
	View selection description.
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	description (Space &home)
	Return description.
void	commit (Space &home, const Support::RandomGenerator &d, unsigned a)
	Commit to description.
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 135 of file branching-view.hpp.

---

Member Typedef Documentation

template<class _View>

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

View type.

Definition at line 143 of file branching-view.hpp.

template<class _View>

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

View selection description.

Definition at line 145 of file branching-view.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ViewSelRnd< View >::ViewSelRnd

(

void

)

[inline]

Default constructor.

Definition at line 275 of file branching-view.hpp.

template<class View >

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

Constructor for initialization.

Definition at line 278 of file branching-view.hpp.

---

Member Function Documentation

template<class View >

ViewSelStatus Gecode::ViewSelRnd< View >::init	(	Space &	home,
		_View	x
	)			[inline]

Intialize with view x.

Definition at line 282 of file branching-view.hpp.

template<class View >

ViewSelStatus Gecode::ViewSelRnd< View >::select	(	Space &	home,
		_View	x
	)			[inline]

Possibly select better view x.

Definition at line 288 of file branching-view.hpp.

template<class View >

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

(

Space &

home

)

[inline]

Return description.

Definition at line 294 of file branching-view.hpp.

template<class View >

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

Commit to description.

Definition at line 299 of file branching-view.hpp.

template<class View >

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

Updating during cloning.

Definition at line 305 of file branching-view.hpp.

template<class View >

void Gecode::ViewSelRnd< View >::dispose

(

Space &

home

)

[inline]

Delete view selection.

Definition at line 310 of file branching-view.hpp.

---

Member Data Documentation

template<class _View>

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

Random number generator.

Definition at line 138 of file branching-view.hpp.

template<class _View>

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

Number of views considered so far.

Definition at line 140 of file branching-view.hpp.

---

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

• gecode/kernel/branching-view.hpp (Revision: 8280)