Generated on Sat Aug 25 2012 15:53:14 for Gecode by doxygen 1.7.5
Gecode::Set::Branch::ValRnd Class Reference

Class for random value selection. More...

#include <branch.hh>

List of all members.

Public Types

typedef SetView View
 View type.
typedef int Val
 Value type.
typedef ArchivedRandomGenerator Choice
 Choice.

Public Member Functions

 ValRnd (void)
 Default constructor.
 ValRnd (Space &home, const ValBranchOptions &vbo)
 Constructor for initialization.
int val (Space &home, SetView x)
 Return minimum value of view x.
ModEvent tell (Space &home, unsigned int a, SetView x, int n)
 Tell $x\leq n$ (a = 0) or $x\neq n$ (a = 1)
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, ValRnd &vs)
 Updating during cloning.
void dispose (Space &home)
 Delete value selection.

Static Public Attributes

static const unsigned int alternatives = 2
 Number of alternatives.

Protected Attributes

ArchivedRandomGenerator r
 Random number generator.

Detailed Description

Class for random value selection.

Requires


Member Typedef Documentation

View type.

Definition at line 136 of file branch.hh.

Value type.

Definition at line 138 of file branch.hh.


Constructor & Destructor Documentation

Gecode::Set::Branch::ValRnd::ValRnd ( void  ) [inline]

Default constructor.

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

Gecode::Set::Branch::ValRnd::ValRnd ( Space home,
const ValBranchOptions vbo 
) [inline]

Constructor for initialization.

Definition at line 124 of file select-val.hpp.


Member Function Documentation

int Gecode::Set::Branch::ValRnd::val ( Space home,
SetView  x 
) [inline]

Return minimum value of view x.

Definition at line 128 of file select-val.hpp.

ModEvent Gecode::Set::Branch::ValRnd::tell ( Space home,
unsigned int  a,
SetView  x,
int  n 
) [inline]

Tell $x\leq n$ (a = 0) or $x\neq n$ (a = 1)

Definition at line 141 of file select-val.hpp.

ValRnd< inc >::Choice Gecode::Set::Branch::ValRnd::choice ( Space home) [inline]

Return choice.

Definition at line 146 of file select-val.hpp.

ValRnd< inc >::Choice Gecode::Set::Branch::ValRnd::choice ( const Space home,
Archive e 
) [inline]

Return choice.

Definition at line 151 of file select-val.hpp.

void Gecode::Set::Branch::ValRnd::commit ( Space home,
const Choice c,
unsigned  a 
) [inline]

Commit to choice.

Definition at line 156 of file select-val.hpp.

void Gecode::Set::Branch::ValRnd::update ( Space home,
bool  share,
ValRnd vs 
)

Updating during cloning.

void Gecode::Set::Branch::ValRnd::dispose ( Space home) [inline]

Delete value selection.

Definition at line 167 of file select-val.hpp.


Member Data Documentation

Random number generator.

Definition at line 133 of file branch.hh.

const unsigned int Gecode::Set::Branch::ValRnd::alternatives = 2 [static]

Number of alternatives.

Reimplemented in Gecode::Set::Branch::AssignValRnd.

Definition at line 142 of file branch.hh.


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