Generated on Sat Feb 12 2011 17:41:23 for Gecode by doxygen 1.7.3

Gecode::Int::Count Namespace Reference

Counting propagators. More...

Classes

class  BaseInt
 Baseclass for count propagators (integer) More...
class  EqInt
 Propagator for counting views (equal integer to number of equal views) More...
class  GqInt
 Propagator for counting views (greater or equal integer to number of equal views) More...
class  LqInt
 Propagator for counting views (less or equal integer to number of equal views) More...
class  NqInt
 Propagator for counting views (not equal integer to number of equal views) More...
class  BaseView
 Base-class for count propagators (view) More...
class  EqView
 Propagator for counting views (equal to number of equal views) More...
class  NqView
 Propagator for counting views (different from number of equal views) More...
class  LqView
 Propagator for counting views (less or equal to number of equal views) More...
class  GqView
 Propagator for counting views (greater or equal to number of equal views) More...

Functions

template<class VX >
RelTest holds (VX x, ZeroIntView)
template<class VX >
bool post_true (Home home, VX x, ConstIntView y)
template<class VX >
bool post_true (Home home, VX x, ZeroIntView)
template<class VX >
bool post_true (Home home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
bool post_false (Home home, VX x, ConstIntView y)
template<class VX >
bool post_false (Home home, VX x, ZeroIntView)
template<class VX >
bool post_false (Home home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
bool post_true (Home home, VX x, VX y)
template<class VX >
bool post_false (Home home, VX x, VX y)

template<class VX >
RelTest holds (VX x, ConstIntView y)
 Test whether x and y are equal.
template<class VX >
RelTest holds (VX x, VX y)
 Test whether x and y are equal.
template<class VX >
bool post_true (Home home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are equal to y.
template<class VX >
bool post_false (Home home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are not equal to y.
template<class VX >
bool post_true (Home home, ViewArray< VX > &x, VX y)
 Post that all views in x are equal to y.
template<class VX >
bool post_false (Home home, ViewArray< VX > &x, VX y)
 Post that all views in x are not equal to y.

Detailed Description

Counting propagators.


Function Documentation

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
ConstIntView  y 
) [inline]

Test whether x and y are equal.

Definition at line 49 of file rel.hpp.

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
ZeroIntView   
) [inline]

Definition at line 54 of file rel.hpp.

template<class VX >
RelTest Gecode::Int::Count::holds ( VX  x,
VX  y 
) [inline]

Test whether x and y are equal.

Relations for domain consistent counting

Definition at line 59 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_true ( Home  home,
VX  x,
ConstIntView  y 
) [inline]

Definition at line 64 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_true ( Home  home,
VX  x,
ZeroIntView   
) [inline]

Definition at line 69 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
ConstIntView  y 
) [inline]

Post that all views in x are equal to y.

Definition at line 74 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
ZeroIntView   
) [inline]

Definition at line 82 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_false ( Home  home,
VX  x,
ConstIntView  y 
) [inline]

Definition at line 90 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_false ( Home  home,
VX  x,
ZeroIntView   
) [inline]

Definition at line 95 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
ConstIntView  y 
) [inline]

Post that all views in x are not equal to y.

Definition at line 100 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
ZeroIntView   
) [inline]

Definition at line 108 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_true ( Home  home,
ViewArray< VX > &  x,
VX  y 
) [inline]

Post that all views in x are equal to y.

Definition at line 116 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_true ( Home  home,
VX  x,
VX  y 
) [inline]

Definition at line 125 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_false ( Home  home,
ViewArray< VX > &  x,
VX  y 
) [inline]

Post that all views in x are not equal to y.

Definition at line 130 of file rel.hpp.

template<class VX >
bool Gecode::Int::Count::post_false ( Home  home,
VX  x,
VX  y 
) [inline]

Definition at line 138 of file rel.hpp.