Generated on Mon Jul 27 2020 00:00:00 for Gecode by doxygen 1.8.18
Gecode::Int::Branch::ValSelRangeMin Class Reference

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

#include <branch.hh>

Public Member Functions

 ValSelRangeMin (Space &home, const ValBranch< IntVar > &vb)
 Constructor for initialization. More...
 
 ValSelRangeMin (Space &home, ValSelRangeMin &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< 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...
 

Additional Inherited Members

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

Detailed Description

Value selection class for minimum range of integer view.

Requires

Definition at line 377 of file branch.hh.

Constructor & Destructor Documentation

◆ ValSelRangeMin() [1/2]

Gecode::Int::Branch::ValSelRangeMin::ValSelRangeMin ( Space home,
const ValBranch< IntVar > &  vb 
)
inline

Constructor for initialization.

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

◆ ValSelRangeMin() [2/2]

Gecode::Int::Branch::ValSelRangeMin::ValSelRangeMin ( Space home,
ValSelRangeMin vs 
)
inline

Constructor for cloning.

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

Member Function Documentation

◆ val()

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

Return value of integer view x at position i.

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


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