Generated on Sat Jan 12 2019 20:58:51 for Gecode by doxygen 1.8.13
Gecode::Float::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, ValSelRnd &vs)
 Constructor for cloning. More...
 
FloatNumBranch val (const Space &home, FloatView 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< FloatView, FloatNumBranch >
 ValSel (Space &home, const ValBranch< Var > &vb)
 Constructor for initialization. More...
 
 ValSel (Space &home, 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< FloatView, FloatNumBranch >
typedef FloatView View
 View type. More...
 
typedef View::VarType Var
 Corresponding variable type. More...
 
typedef FloatNumBranch Val
 Value type. More...
 

Detailed Description

Value selection class for random value of view.

Requires

Definition at line 257 of file branch.hh.

Constructor & Destructor Documentation

◆ ValSelRnd() [1/2]

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

Constructor for initialization.

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

◆ ValSelRnd() [2/2]

Gecode::Float::Branch::ValSelRnd::ValSelRnd ( Space home,
ValSelRnd vs 
)
inline

Constructor for cloning.

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

Member Function Documentation

◆ val()

FloatNumBranch Gecode::Float::Branch::ValSelRnd::val ( const Space home,
FloatView  x,
int  i 
)
inline

Return value of view x at position i.

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

◆ notice()

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

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

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

◆ dispose()

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

Delete value selection.

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

Member Data Documentation

◆ r

Rnd Gecode::Float::Branch::ValSelRnd::r
protected

The used random number generator.

Definition at line 260 of file branch.hh.


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