|
| 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.