Generated on Fri Mar 20 15:57:11 2015 for Gecode by doxygen 1.6.3
Gecode::Set::Rel::CharacteristicSets

Gecode::Set::Rel::CharacteristicSets Class Reference

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 $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 
) [inline]

Constructor.

Definition at line 198 of file lq.hpp.

Member Function Documentation

void Gecode::Set::Rel::CharacteristicSets::set ( int  i,
bool  j 
) [inline, protected]

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: