Gecode::Int::Branch::ValRangeMin< View > Class Template Reference
[Integer value selection for brancher]
Class for trying the first range of a domain first or splitting domain at mean of smallest and largest element (lower half first). More...
#include <branch.hh>
Public Member Functions | |
ValRangeMin (void) | |
Default constructor. | |
ValRangeMin (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
int | val (Space &home, View x) const |
Return minimum value of view x. | |
ModEvent | tell (Space &home, unsigned int a, View x, int n) |
Tell (a = 0) or (a = 1). |
Detailed Description
template<class View>
class Gecode::Int::Branch::ValRangeMin< View >
Class for trying the first range of a domain first or splitting domain at mean of smallest and largest element (lower half first).
Requires
#include <gecode/int/branch.hh>
Definition at line 167 of file branch.hh.
Constructor & Destructor Documentation
template<class View >
Gecode::Int::Branch::ValRangeMin< View >::ValRangeMin | ( | void | ) | [inline] |
Default constructor.
Definition at line 148 of file select-val.hpp.
template<class View >
Gecode::Int::Branch::ValRangeMin< View >::ValRangeMin | ( | Space & | home, | |
const ValBranchOptions & | vbo | |||
) | [inline] |
Constructor for initialization.
Definition at line 151 of file select-val.hpp.
Member Function Documentation
template<class View >
int Gecode::Int::Branch::ValRangeMin< View >::val | ( | Space & | home, | |
View | x | |||
) | const [inline] |
Return minimum value of view x.
Definition at line 156 of file select-val.hpp.
template<class View >
ModEvent Gecode::Int::Branch::ValRangeMin< View >::tell | ( | Space & | home, | |
unsigned int | a, | |||
View | x, | |||
int | n | |||
) | [inline] |
Tell (a = 0) or (a = 1).
Definition at line 166 of file select-val.hpp.
The documentation for this class was generated from the following files:
- gecode/int/branch.hh (Revision: 12001)
- gecode/int/branch/select-val.hpp (Revision: 12001)