Gecode::Set::Rel::CharacteristicSets Class Reference
Representation of the characteristic functions of two sets. More...
#include <lq.hpp>
Classes | |
class | CSIter |
Value iterator for characteristic function. More... | |
Public Member Functions | |
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. | |
Protected Member Functions | |
bool | get (unsigned int i) const |
Get bit i. | |
void | set (unsigned int i, bool j) |
Set bit i to value j. | |
Protected Attributes | |
unsigned int | xsize |
Size of the combined upper bounds. | |
Support::BitSetBase | b |
Storage for the characteristic functions. | |
int * | ub |
Elements in the combined upper bounds. | |
bool | xlm |
Whether lower bound of x was updated. | |
bool | xum |
Whether upper bound of x was updated. | |
bool | ylm |
Whether lower bound of y was updated. | |
bool | yum |
Whether upper bound of y was updated. |
Detailed Description
Representation of the characteristic functions of two sets.
Definition at line 39 of file lq.hpp.
Constructor & Destructor Documentation
template<class View0 , class View1 >
Gecode::Set::Rel::CharacteristicSets::CharacteristicSets | ( | Region & | re, | |
View0 | x, | |||
View1 | y | |||
) | [inline] |
Member Function Documentation
bool Gecode::Set::Rel::CharacteristicSets::get | ( | unsigned int | i | ) | const [inline, protected] |
void Gecode::Set::Rel::CharacteristicSets::set | ( | unsigned int | i, | |
bool | j | |||
) | [inline, protected] |
bool Gecode::Set::Rel::CharacteristicSets::xmin | ( | unsigned int | i | ) | const [inline] |
bool Gecode::Set::Rel::CharacteristicSets::xmax | ( | unsigned int | i | ) | const [inline] |
bool Gecode::Set::Rel::CharacteristicSets::ymin | ( | unsigned int | i | ) | const [inline] |
bool Gecode::Set::Rel::CharacteristicSets::ymax | ( | unsigned int | i | ) | const [inline] |
void Gecode::Set::Rel::CharacteristicSets::xmin | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
void Gecode::Set::Rel::CharacteristicSets::xmax | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
void Gecode::Set::Rel::CharacteristicSets::ymin | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
void Gecode::Set::Rel::CharacteristicSets::ymax | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
ModEvent Gecode::Set::Rel::CharacteristicSets::xlq | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
ModEvent Gecode::Set::Rel::CharacteristicSets::xgq | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
ModEvent Gecode::Set::Rel::CharacteristicSets::ylq | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
ModEvent Gecode::Set::Rel::CharacteristicSets::ygq | ( | unsigned int | i, | |
bool | j | |||
) | [inline] |
unsigned int Gecode::Set::Rel::CharacteristicSets::size | ( | void | ) | const [inline] |
template<class View0 , class View1 >
ExecStatus Gecode::Set::Rel::CharacteristicSets::prune | ( | Space & | home, | |
View0 | x, | |||
View1 | y | |||
) | [inline] |
Member Data Documentation
unsigned int Gecode::Set::Rel::CharacteristicSets::xsize [protected] |
int* Gecode::Set::Rel::CharacteristicSets::ub [protected] |
bool Gecode::Set::Rel::CharacteristicSets::xlm [protected] |
bool Gecode::Set::Rel::CharacteristicSets::xum [protected] |
bool Gecode::Set::Rel::CharacteristicSets::ylm [protected] |
bool Gecode::Set::Rel::CharacteristicSets::yum [protected] |
The documentation for this class was generated from the following file:
- gecode/set/rel/lq.hpp