Generated on Thu Mar 22 10:40:00 2012 for Gecode by doxygen 1.6.3

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

Constructor.

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

 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: