Generated on Tue May 22 09:40:57 2018 for Gecode by doxygen 1.6.3

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

Select a view randomly. More...

#include <view-sel.hpp>

List of all members.

Protected Types

typedef ViewSel< View >::Var Var
 The corresponding variable type.

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.

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

template<class View>
typedef ViewSel<View>::Var Gecode::ViewSelRnd< View >::Var [protected]

The corresponding variable type.

Reimplemented from Gecode::ViewSel< View >.

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


Constructor & Destructor Documentation

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.

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

template<class View >
int Gecode::ViewSelRnd< View >::select ( Space home,
ViewArray< View > &  x,
int  s 
) [inline, virtual]

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

Implements Gecode::ViewSel< View >.

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

template<class View >
int Gecode::ViewSelRnd< View >::select ( Space home,
ViewArray< View > &  x,
int  s,
BrancherFilter< View > &  f 
) [inline, virtual]

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

Implements Gecode::ViewSel< View >.

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

template<class View >
void Gecode::ViewSelRnd< View >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n 
) [inline, virtual]

Select ties from x starting from s.

Implements Gecode::ViewSel< View >.

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

template<class View >
void Gecode::ViewSelRnd< View >::ties ( Space home,
ViewArray< View > &  x,
int  s,
int *  ties,
int &  n,
BrancherFilter< View > &  f 
) [inline, virtual]

Select ties from x starting from s.

Implements Gecode::ViewSel< View >.

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

template<class View >
void Gecode::ViewSelRnd< View >::brk ( Space home,
ViewArray< View > &  x,
int *  ties,
int &  n 
) [inline, virtual]

Break ties in x and update to new ties.

Implements Gecode::ViewSel< View >.

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

template<class View >
int Gecode::ViewSelRnd< View >::select ( Space home,
ViewArray< View > &  x,
int *  ties,
int  n 
) [inline, virtual]

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

Implements Gecode::ViewSel< View >.

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

template<class View >
ViewSel< View > * Gecode::ViewSelRnd< View >::copy ( Space home  )  [inline, virtual]

Create copy during cloning.

Implements Gecode::ViewSel< View >.

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


Member Data Documentation

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: