Generated on Sat Feb 7 2015 02:01:52 for Gecode by doxygen 1.8.9.1
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. More...
 
bool xmin (int i) const
 Return minimum of element i for variable x. More...
 
bool xmax (int i) const
 Return maximum of element i for variable x. More...
 
bool ymin (int i) const
 Return minimum of element i for variable y. More...
 
bool ymax (int i) const
 Return maximum of element i for variable y. More...
 
void xmin (int i, bool j)
 Set minimum of element i for variable x to j. More...
 
void xmax (int i, bool j)
 Set maximum of element i for variable x to j. More...
 
void ymin (int i, bool j)
 Set minimum of element i for variable y to j. More...
 
void ymax (int i, bool j)
 Set maximum of element i for variable y to j. More...
 
ModEvent xlq (int i, bool j)
 Update upper bound of $x_i$ to j. More...
 
ModEvent xgq (int i, bool j)
 Update lower bound of $x_i$ to j. More...
 
ModEvent ylq (int i, bool j)
 Update upper bound of $y_i$ to j. More...
 
ModEvent ygq (int i, bool j)
 Update lower bound of $y_i$ to j. More...
 
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...
 

Protected Member Functions

void set (int i, bool j)
 Set bit i to value j. More...
 

Protected Attributes

unsigned int xsize
 Size of the combined upper bounds. More...
 
Support::BitSetBase b
 Storage for the characteristic functions. More...
 
int * ub
 Elements in the combined upper bounds. More...
 
bool xlm
 Whether lower bound of x was updated. More...
 
bool xum
 Whether upper bound of x was updated. More...
 
bool ylm
 Whether lower bound of y was updated. More...
 
bool yum
 Whether upper bound of y was updated. More...
 

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 198 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 104 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 106 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 108 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 110 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 113 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 115 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 117 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 119 of file lq.hpp.

ModEvent Gecode::Set::Rel::CharacteristicSets::xlq ( int  i,
bool  j 
)
inline

Update upper bound of $x_i$ to j.

Definition at line 122 of file lq.hpp.

ModEvent Gecode::Set::Rel::CharacteristicSets::xgq ( int  i,
bool  j 
)
inline

Update lower bound of $x_i$ to j.

Definition at line 133 of file lq.hpp.

ModEvent Gecode::Set::Rel::CharacteristicSets::ylq ( int  i,
bool  j 
)
inline

Update upper bound of $y_i$ to j.

Definition at line 144 of file lq.hpp.

ModEvent Gecode::Set::Rel::CharacteristicSets::ygq ( int  i,
bool  j 
)
inline

Update lower bound of $y_i$ to j.

Definition at line 155 of file lq.hpp.

int Gecode::Set::Rel::CharacteristicSets::size ( void  ) const
inline

Return size of combined upper bounds.

Definition at line 167 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 171 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.

Support::BitSetBase Gecode::Set::Rel::CharacteristicSets::b
protected

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: