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 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
	)

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:

gecode/set/rel/lq.hpp (Revision: 12346)

Classes

Public Member Functions

Protected Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation