Generated on Tue Apr 18 10:24:12 2017 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 (unsigned int i) const
 Return minimum of element i for variable x.
bool xmax (unsigned int i) const
 Return maximum of element i for variable x.
bool ymin (unsigned int i) const
 Return minimum of element i for variable y.
bool ymax (unsigned int i) const
 Return maximum of element i for variable y.
void xmin (unsigned int i, bool j)
 Set minimum of element i for variable x to j.
void xmax (unsigned int i, bool j)
 Set maximum of element i for variable x to j.
void ymin (unsigned int i, bool j)
 Set minimum of element i for variable y to j.
void ymax (unsigned int i, bool j)
 Set maximum of element i for variable y to j.
ModEvent xlq (unsigned int i, bool j)
 Update upper bound of $x_i$ to j.
ModEvent xgq (unsigned int i, bool j)
 Update lower bound of $x_i$ to j.
ModEvent ylq (unsigned int i, bool j)
 Update upper bound of $y_i$ to j.
ModEvent ygq (unsigned int i, bool j)
 Update lower bound of $y_i$ to j.
unsigned 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

bool get (unsigned int i) const
 Get bit i.
void set (unsigned 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 277 of file lq.hpp.

Member Function Documentation

bool Gecode::Set::Rel::CharacteristicSets::get ( unsigned int  i  )  const [inline, protected]

Get bit i.

Definition at line 130 of file lq.hpp.

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

Set bit i to value j.

Definition at line 134 of file lq.hpp.

bool Gecode::Set::Rel::CharacteristicSets::xmin ( unsigned int  i  )  const [inline]

Return minimum of element i for variable x.

Definition at line 171 of file lq.hpp.

bool Gecode::Set::Rel::CharacteristicSets::xmax ( unsigned int  i  )  const [inline]

Return maximum of element i for variable x.

Definition at line 175 of file lq.hpp.

bool Gecode::Set::Rel::CharacteristicSets::ymin ( unsigned int  i  )  const [inline]

Return minimum of element i for variable y.

Definition at line 179 of file lq.hpp.

bool Gecode::Set::Rel::CharacteristicSets::ymax ( unsigned int  i  )  const [inline]

Return maximum of element i for variable y.

Definition at line 183 of file lq.hpp.

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

Set minimum of element i for variable x to j.

Definition at line 188 of file lq.hpp.

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

Set maximum of element i for variable x to j.

Definition at line 192 of file lq.hpp.

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

Set minimum of element i for variable y to j.

Definition at line 196 of file lq.hpp.

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

Set maximum of element i for variable y to j.

Definition at line 200 of file lq.hpp.

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

Update upper bound of $x_i$ to j.

Definition at line 205 of file lq.hpp.

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

Update lower bound of $x_i$ to j.

Definition at line 216 of file lq.hpp.

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

Update upper bound of $y_i$ to j.

Definition at line 227 of file lq.hpp.

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

Update lower bound of $y_i$ to j.

Definition at line 238 of file lq.hpp.

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

Return size of combined upper bounds.

Definition at line 141 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 251 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: