Generated on Wed Nov 1 15:05:17 2006 for Gecode by doxygen 1.4.5
Gecode::Int::Count

Gecode::Int::Count Namespace Reference

Detailed Description

Counting propagators.


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...
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>
ExecStatus post_true (Space *home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are equal to y.
template<class VX>
ExecStatus post_false (Space *home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are not equal to y.
template<class VX>
ExecStatus post_true (Space *home, ViewArray< VX > &x, VX y)
 Post that all views in x are equal to y.
template<class VX>
ExecStatus post_false (Space *home, ViewArray< VX > &x, VX y)
 Post that all views in x are not equal to y.

Functions

template<class VX>
ExecStatus post_true (Space *home, VX x, ConstIntView y)
template<class VX>
ExecStatus post_false (Space *home, VX x, ConstIntView y)
template<class VX>
ExecStatus post_true (Space *home, VX x, VX y)
template<class VX>
ExecStatus post_false (Space *home, VX x, VX y)

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 33 of file rel.icc.

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 38 of file rel.icc.

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

Definition at line 43 of file rel.icc.

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

Post that all views in x are equal to y.

Definition at line 49 of file rel.icc.

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

Definition at line 56 of file rel.icc.

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

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

Definition at line 62 of file rel.icc.

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

Post that all views in x are equal to y.

Definition at line 69 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::post_true (  Space *  home,
VX  x,
VX  y
)  [inline]
 

Definition at line 79 of file rel.icc.

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

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

Definition at line 85 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::post_false (  Space *  home,
VX  x,
VX  y
)  [inline]
 

Definition at line 92 of file rel.icc.