Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Branch::ValSelRangeMax Class Reference

Value selection class for maximum range of integer view. More...

#include <branch.hh>

Public Member Functions

 ValSelRangeMax (Space &home, const ValBranch &vb)
 Constructor for initialization. More...
 
 ValSelRangeMax (Space &home, bool shared, ValSelRangeMax &vs)
 Constructor for cloning. More...
 
int val (const Space &home, IntView x, int i)
 Return value of integer view x at position i. More...
 
- Public Member Functions inherited from Gecode::ValSel< IntView, int >
 ValSel (Space &home, const ValBranch &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...
 

Additional Inherited Members

- Public Types inherited from Gecode::ValSel< IntView, int >
typedef IntView View
 View type. More...
 
typedef int Val
 Value type. More...
 

Detailed Description

Value selection class for maximum range of integer view.

Requires

Definition at line 355 of file branch.hh.

Constructor & Destructor Documentation

Gecode::Int::Branch::ValSelRangeMax::ValSelRangeMax ( Space home,
const ValBranch vb 
)
inline

Constructor for initialization.

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

Gecode::Int::Branch::ValSelRangeMax::ValSelRangeMax ( Space home,
bool  shared,
ValSelRangeMax vs 
)
inline

Constructor for cloning.

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

Member Function Documentation

int Gecode::Int::Branch::ValSelRangeMax::val ( const Space home,
IntView  x,
int  i 
)
inline

Return value of integer view x at position i.

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


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