Representation of the characteristic functions of two sets.
More...
#include <lq.hpp>
|
template<class View0 , class View1 > |
| CharacteristicSets (Region &re, View0 x, View1 y) |
| Constructor. More...
|
|
bool | xmin (int i) const |
| Return minimum of element i for variable x. More...
|
|
bool | xmax (int i) const |
| Return maximum of element i for variable x. More...
|
|
bool | ymin (int i) const |
| Return minimum of element i for variable y. More...
|
|
bool | ymax (int i) const |
| Return maximum of element i for variable y. More...
|
|
void | xmin (int i, bool j) |
| Set minimum of element i for variable x to j. More...
|
|
void | xmax (int i, bool j) |
| Set maximum of element i for variable x to j. More...
|
|
void | ymin (int i, bool j) |
| Set minimum of element i for variable y to j. More...
|
|
void | ymax (int i, bool j) |
| Set maximum of element i for variable y to j. More...
|
|
ModEvent | xlq (int i, bool j) |
| Update upper bound of to j. More...
|
|
ModEvent | xgq (int i, bool j) |
| Update lower bound of to j. More...
|
|
ModEvent | ylq (int i, bool j) |
| Update upper bound of to j. More...
|
|
ModEvent | ygq (int i, bool j) |
| Update lower bound of to j. More...
|
|
int | size (void) const |
| Return size of combined upper bounds. More...
|
|
template<class View0 , class View1 > |
ExecStatus | prune (Space &home, View0 x, View1 y) |
| Prune x and y using computed bounds. More...
|
|
Representation of the characteristic functions of two sets.
Definition at line 43 of file lq.hpp.
template<class View0 , class View1 >
Gecode::Set::Rel::CharacteristicSets::CharacteristicSets |
( |
Region & |
re, |
|
|
View0 |
x, |
|
|
View1 |
y |
|
) |
| |
Constructor.
Definition at line 198 of file lq.hpp.
void Gecode::Set::Rel::CharacteristicSets::set |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inlineprotected |
Set bit i to value j.
Definition at line 60 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::xmin |
( |
int |
i | ) |
const |
|
inline |
Return minimum of element i for variable x.
Definition at line 104 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::xmax |
( |
int |
i | ) |
const |
|
inline |
Return maximum of element i for variable x.
Definition at line 106 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::ymin |
( |
int |
i | ) |
const |
|
inline |
Return minimum of element i for variable y.
Definition at line 108 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::ymax |
( |
int |
i | ) |
const |
|
inline |
Return maximum of element i for variable y.
Definition at line 110 of file lq.hpp.
void Gecode::Set::Rel::CharacteristicSets::xmin |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Set minimum of element i for variable x to j.
Definition at line 113 of file lq.hpp.
void Gecode::Set::Rel::CharacteristicSets::xmax |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Set maximum of element i for variable x to j.
Definition at line 115 of file lq.hpp.
void Gecode::Set::Rel::CharacteristicSets::ymin |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Set minimum of element i for variable y to j.
Definition at line 117 of file lq.hpp.
void Gecode::Set::Rel::CharacteristicSets::ymax |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Set maximum of element i for variable y to j.
Definition at line 119 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::xlq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update upper bound of
to j.
Definition at line 122 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::xgq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update lower bound of
to j.
Definition at line 133 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::ylq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update upper bound of
to j.
Definition at line 144 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::ygq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update lower bound of
to j.
Definition at line 155 of file lq.hpp.
int Gecode::Set::Rel::CharacteristicSets::size |
( |
void |
| ) |
const |
|
inline |
Return size of combined upper bounds.
Definition at line 167 of file lq.hpp.
template<class View0 , class View1 >
ExecStatus Gecode::Set::Rel::CharacteristicSets::prune |
( |
Space & |
home, |
|
|
View0 |
x, |
|
|
View1 |
y |
|
) |
| |
|
inline |
Prune x and y using computed bounds.
Definition at line 171 of file lq.hpp.
unsigned int Gecode::Set::Rel::CharacteristicSets::xsize |
|
protected |
Size of the combined upper bounds.
Definition at line 46 of file lq.hpp.
Storage for the characteristic functions.
Definition at line 48 of file lq.hpp.
int* Gecode::Set::Rel::CharacteristicSets::ub |
|
protected |
Elements in the combined upper bounds.
Definition at line 50 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::xlm |
|
protected |
Whether lower bound of x was updated.
Definition at line 52 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::xum |
|
protected |
Whether upper bound of x was updated.
Definition at line 54 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::ylm |
|
protected |
Whether lower bound of y was updated.
Definition at line 56 of file lq.hpp.
bool Gecode::Set::Rel::CharacteristicSets::yum |
|
protected |
Whether upper bound of y was updated.
Definition at line 58 of file lq.hpp.
The documentation for this class was generated from the following file: