Gecode::ViewSelRnd Class Reference

View selection class for random selection. More...

#include <brancher-view.hpp>

List of all members.

Public Types
typedef _View	View
	View type.
typedef ArchivedRandomGenerator	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.
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, ViewSelRnd &vs)
	Updating during cloning.
void	dispose (Space &home)
	Delete view selection.
Protected Attributes
ArchivedRandomGenerator	r
	Random number generator.
unsigned int	n
	Number of views considered so far.

---

Detailed Description

View selection class for random selection.

---

Member Typedef Documentation

typedef _View Gecode::ViewSelRnd::View

View type.

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

typedef ArchivedRandomGenerator Gecode::ViewSelRnd::Choice

View selection choice.

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

---

Constructor & Destructor Documentation

Gecode::ViewSelRnd::ViewSelRnd

(

void

)

[inline]

Default constructor.

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

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

Constructor for initialization.

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

---

Member Function Documentation

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

Intialize with view x.

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

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

Possibly select better view x.

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

ViewSelRnd< View >::Choice Gecode::ViewSelRnd::choice

(

Space &

home

)

[inline]

Return choice.

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

ViewSelRnd< View >::Choice Gecode::ViewSelRnd::choice	(	const Space &	home,
		Archive &	e
	)		[inline]

Return choice.

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

void Gecode::ViewSelRnd::commit	(	Space &	home,
		const Choice &	c,
		unsigned	a
	)		[inline]

Commit to choice.

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

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

Updating during cloning.

void Gecode::ViewSelRnd::dispose

(

Space &

home

)

[inline]

Delete view selection.

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

---

Member Data Documentation

ArchivedRandomGenerator Gecode::ViewSelRnd::r [protected]

Random number generator.

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

unsigned int Gecode::ViewSelRnd::n [protected]

Number of views considered so far.

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

---

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

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