|
| template<class View0 , class View1 > |
| | CharacteristicSets (Region &re, View0 x, View1 y) |
| | Constructor. More...
|
| |
| bool | xmin (unsigned int i) const |
| | Return minimum of element i for variable x. More...
|
| |
| bool | xmax (unsigned int i) const |
| | Return maximum of element i for variable x. More...
|
| |
| bool | ymin (unsigned int i) const |
| | Return minimum of element i for variable y. More...
|
| |
| bool | ymax (unsigned int i) const |
| | Return maximum of element i for variable y. More...
|
| |
| void | xmin (unsigned int i, bool j) |
| | Set minimum of element i for variable x to j. More...
|
| |
| void | xmax (unsigned int i, bool j) |
| | Set maximum of element i for variable x to j. More...
|
| |
| void | ymin (unsigned int i, bool j) |
| | Set minimum of element i for variable y to j. More...
|
| |
| void | ymax (unsigned int i, bool j) |
| | Set maximum of element i for variable y to j. More...
|
| |
| ModEvent | xlq (unsigned int i, bool j) |
| | Update upper bound of to j. More...
|
| |
| ModEvent | xgq (unsigned int i, bool j) |
| | Update lower bound of to j. More...
|
| |
| ModEvent | ylq (unsigned int i, bool j) |
| | Update upper bound of to j. More...
|
| |
| ModEvent | ygq (unsigned int i, bool j) |
| | Update lower bound of to j. More...
|
| |
| unsigned 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 39 of file lq.hpp.