Gecode::ViewSelRnd< View > Class Template Reference

Select a view randomly. More...

`#include <view-sel.hpp>`

## Protected Types

typedef ViewSel< View >::Var | Var

## Protected Attributes

Rnd | r
| The random number generator used.

## Initialization

| ViewSelRnd (Space &home, const VarBranch< Var > &vb)
| Constructor for creation.
| ViewSelRnd (Space &home, ViewSelRnd< View > &vs)
| Constructor for copying during cloning.

## View selection and tie breaking

virtual int | select (Space &home, ViewArray< View > &x, int s)
| Select a view from x starting from s and return its position.
virtual int | select (Space &home, ViewArray< View > &x, int s, BrancherFilter< View > &f)
| Select a view from x starting from s and return its position.
virtual void | ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)
| Select ties from x starting from s.
virtual void | ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherFilter< View > &f)
| Select ties from x starting from s.
virtual void | brk (Space &home, ViewArray< View > &x, int *ties, int &n)
| Break ties in x and update to new ties.
virtual int | select (Space &home, ViewArray< View > &x, int *ties, int n)
| Select a view from x considering view with positions in ties.

## Resource management and cloning

virtual ViewSel< View > * | copy (Space &home)
| Create copy during cloning.

## Additional Inherited Members

Public Types inherited from Gecode::ViewSel< View >
typedef View | View
| Define the view type.
typedef View::VarType | Var
| The corresponding variable type.
| ViewSel (Space &home, const VarBranch< Var > &vb)
| Constructor for creation.
virtual int | select (Space &home, ViewArray< View > &x, int s)=0
| Select a view from x starting from s and return its position.
virtual void | ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)=0
| Select ties from x starting from s.
virtual void | brk (Space &home, ViewArray< View > &x, int *ties, int &n)=0
| Break ties in x and update to new ties.
virtual bool | notice (void) const
| Whether dispose must always be called (that is, notice is needed).
virtual void | dispose (Space &home)
| Dispose view selection.
virtual | ~ViewSel (void)
| Unused destructor.
static void * | operator new (size_t s, Space &home)
| Allocate memory from space.
static void | operator delete (void *p, Space &home)
| Return memory to space.

## Detailed Description

template<class View>
class Gecode::ViewSelRnd< View >

Select a view randomly.

Definition at line 149 of file view-sel.hpp.

## Member Typedef Documentation

## Var

template<class View>

typedef ViewSel<View>::Var Gecode::ViewSelRnd< View >::Var

protected

Definition at line 151 of file view-sel.hpp.

## Constructor & Destructor Documentation

## ViewSelRnd() [1/2]

template<class View>

Gecode::ViewSelRnd< View >::ViewSelRnd | ( | Space & | home,
|  | const VarBranch< Var > & | vb )

inline

Constructor for creation.

Definition at line 480 of file view-sel.hpp.

## ViewSelRnd() [2/2]

template<class View>

Gecode::ViewSelRnd< View >::ViewSelRnd | ( | Space & | home,
|  | ViewSelRnd< View > & | vs )

inline

Constructor for copying during cloning.

Definition at line 484 of file view-sel.hpp.

## Member Function Documentation

## select() [1/3]

template<class View>

int Gecode::ViewSelRnd< View >::select | ( | Space & | home,
|  | ViewArray< View > & | x,
|  | int | s )

virtual

Select a view from x starting from s and return its position.

Definition at line 488 of file view-sel.hpp.

## select() [2/3]

template<class View>

int Gecode::ViewSelRnd< View >::select | ( | Space & | home,
|  | ViewArray< View > & | x,
|  | int | s,
|  | BrancherFilter< View > & | f )

virtual

Select a view from x starting from s and return its position.

Definition at line 501 of file view-sel.hpp.

## ties() [1/2]

template<class View>

void Gecode::ViewSelRnd< View >::ties | ( | Space & | home,
|  | ViewArray< View > & | x,
|  | int | s,
|  | int * | ties,
|  | int & | n )

virtual

Select ties from x starting from s.

Definition at line 515 of file view-sel.hpp.

## ties() [2/2]

template<class View>

void Gecode::ViewSelRnd< View >::ties | ( | Space & | home,
|  | ViewArray< View > & | x,
|  | int | s,
|  | int * | ties,
|  | int & | n,
|  | BrancherFilter< View > & | f )

virtual

Select ties from x starting from s.

Definition at line 521 of file view-sel.hpp.

## brk()

template<class View>

void Gecode::ViewSelRnd< View >::brk | ( | Space & | home,
|  | ViewArray< View > & | x,
|  | int * | ties,
|  | int & | n )

virtual

Break ties in x and update to new ties.

Definition at line 528 of file view-sel.hpp.

## select() [3/3]

template<class View>

int Gecode::ViewSelRnd< View >::select | ( | Space & | home,
|  | ViewArray< View > & | x,
|  | int * | ties,
|  | int | n )

virtual

Select a view from x considering view with positions in ties.

Definition at line 534 of file view-sel.hpp.

## copy()

template<class View>

ViewSel< View > * Gecode::ViewSelRnd< View >::copy | ( | Space & | home | ) |

virtual

Create copy during cloning.

Implements Gecode::ViewSel< View >.

Definition at line 539 of file view-sel.hpp.

## Member Data Documentation

## r

template<class View>

Rnd Gecode::ViewSelRnd< View >::r

protected

The random number generator used.

Definition at line 153 of file view-sel.hpp.

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

- gecode/kernel/branch/view-sel.hpp