Generated on Thu Mar 13 2014 04:39:50 for Gecode by doxygen 1.8.1.2
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 (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 $x_i$ to j.
ModEvent xgq (int i, bool j)
 Update lower bound of $x_i$ to j.
ModEvent ylq (int i, bool j)
 Update upper bound of $y_i$ to j.
ModEvent ygq (int i, bool j)
 Update lower bound of $y_i$ 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 $x_i$ 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 $x_i$ 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 $y_i$ 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 $y_i$ 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.

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: