Generated on Thu Jul 25 2019 00:00:00 for Gecode by doxygen 1.8.15
Gecode::Set::Branch::ValSelRnd Class Reference

Value selection class for random value of view. More...

#include <branch.hh>

Public Member Functions

 ValSelRnd (Space &home, const ValBranch< Var > &vb)
 Constructor for initialization. More...
 
 ValSelRnd (Space &home, bool shared, ValSelRnd &vs)
 Constructor for cloning. More...
 
int val (const Space &home, SetView x, int i)
 Return value of view x at position i. More...
 
bool notice (void) const
 Whether dispose must always be called (that is, notice is needed) More...
 
void dispose (Space &home)
 Delete value selection. More...
 
- Public Member Functions inherited from Gecode::ValSel< SetView, int >
 ValSel (Space &home, const ValBranch< Var > &vb)
 Constructor for initialization. More...
 
 ValSel (Space &home, bool shared, ValSel< View, Val > &vs)
 Constructor for cloning. More...
 
bool notice (void) const
 Whether dispose must always be called (that is, notice is needed) More...
 
void dispose (Space &home)
 Delete value selection. More...
 

Protected Attributes

Rnd r
 The used random number generator. More...
 

Additional Inherited Members

- Public Types inherited from Gecode::ValSel< SetView, int >
typedef SetView View
 View type. More...
 
typedef View::VarType Var
 Corresponding variable type. More...
 
typedef int Val
 Value type. More...
 

Detailed Description

Value selection class for random value of view.

Requires

Definition at line 281 of file branch.hh.

Constructor & Destructor Documentation

◆ ValSelRnd() [1/2]

Gecode::Set::Branch::ValSelRnd::ValSelRnd ( Space home,
const ValBranch< Var > &  vb 
)
inline

Constructor for initialization.

Definition at line 97 of file val-sel.hpp.

◆ ValSelRnd() [2/2]

Gecode::Set::Branch::ValSelRnd::ValSelRnd ( Space home,
bool  shared,
ValSelRnd vs 
)
inline

Constructor for cloning.

Definition at line 100 of file val-sel.hpp.

Member Function Documentation

◆ val()

int Gecode::Set::Branch::ValSelRnd::val ( const Space home,
SetView  x,
int  i 
)
inline

Return value of view x at position i.

Definition at line 105 of file val-sel.hpp.

◆ notice()

bool Gecode::Set::Branch::ValSelRnd::notice ( void  ) const
inline

Whether dispose must always be called (that is, notice is needed)

Definition at line 117 of file val-sel.hpp.

◆ dispose()

void Gecode::Set::Branch::ValSelRnd::dispose ( Space home)
inline

Delete value selection.

Definition at line 121 of file val-sel.hpp.

Member Data Documentation

◆ r

Rnd Gecode::Set::Branch::ValSelRnd::r
protected

The used random number generator.

Definition at line 284 of file branch.hh.


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