Representation of the characteristic functions of two sets.
More...
#include <lq.hpp>
List of all members.
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 (int i) const |
| Return minimum of element i for variable x.
|
bool | xmax (int i) const |
| Return maximum of element i for variable x.
|
bool | ymin (int i) const |
| Return minimum of element i for variable y.
|
bool | ymax (int i) const |
| Return maximum of element i for variable y.
|
void | xmin (int i, bool j) |
| Set minimum of element i for variable x to j.
|
void | xmax (int i, bool j) |
| Set maximum of element i for variable x to j.
|
void | ymin (int i, bool j) |
| Set minimum of element i for variable y to j.
|
void | ymax (int i, bool j) |
| Set maximum of element i for variable y to j.
|
ModEvent | xlq (int i, bool j) |
| Update upper bound of to j.
|
ModEvent | xgq (int i, bool j) |
| Update lower bound of to j.
|
ModEvent | ylq (int i, bool j) |
| Update upper bound of to j.
|
ModEvent | ygq (int i, bool j) |
| Update lower bound of to j.
|
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 |
void | set (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 43 of file lq.hpp.
Constructor & Destructor Documentation
template<class View0 , class View1 >
Gecode::Set::Rel::CharacteristicSets::CharacteristicSets |
( |
Region & |
re, |
|
|
View0 |
x, |
|
|
View1 |
y |
|
) |
| |
Constructor.
Definition at line 197 of file lq.hpp.
Member Function Documentation
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 103 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 105 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 107 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 109 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 112 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 114 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 116 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 118 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::xlq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update upper bound of
to j.
Definition at line 121 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::xgq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update lower bound of
to j.
Definition at line 132 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::ylq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update upper bound of
to j.
Definition at line 143 of file lq.hpp.
ModEvent Gecode::Set::Rel::CharacteristicSets::ygq |
( |
int |
i, |
|
|
bool |
j |
|
) |
| |
|
inline |
Update lower bound of
to j.
Definition at line 154 of file lq.hpp.
int Gecode::Set::Rel::CharacteristicSets::size |
( |
void |
| ) |
const |
|
inline |
Return size of combined upper bounds.
Definition at line 166 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 170 of file lq.hpp.
Member Data Documentation
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: