|
template<class View0, class View1> |
| CharacteristicSets (Region &re, View0 x, View1 y) |
| Constructor.
|
bool | xmin (unsigned int i) const |
| Return minimum of element i for variable x.
|
bool | xmax (unsigned int i) const |
| Return maximum of element i for variable x.
|
bool | ymin (unsigned int i) const |
| Return minimum of element i for variable y.
|
bool | ymax (unsigned int i) const |
| Return maximum of element i for variable y.
|
void | xmin (unsigned int i, bool j) |
| Set minimum of element i for variable x to j.
|
void | xmax (unsigned int i, bool j) |
| Set maximum of element i for variable x to j.
|
void | ymin (unsigned int i, bool j) |
| Set minimum of element i for variable y to j.
|
void | ymax (unsigned int i, bool j) |
| Set maximum of element i for variable y to j.
|
ModEvent | xlq (unsigned int i, bool j) |
| Update upper bound of to j.
|
ModEvent | xgq (unsigned int i, bool j) |
| Update lower bound of to j.
|
ModEvent | ylq (unsigned int i, bool j) |
| Update upper bound of to j.
|
ModEvent | ygq (unsigned int i, bool j) |
| Update lower bound of to j.
|
unsigned int | size (void) const |
| Return size of combined upper bounds.
|
template<class View0, class View1> |
ExecStatus | prune (Space &home, View0 x, View1 y) |
| Prune x and y using computed bounds.
|
Representation of the characteristic functions of two sets.
Definition at line 39 of file lq.hpp.