Generated on Wed Jan 4 17:49:20 2006 for Gecode by doxygen 1.4.6

Gecode::Int::Count Namespace Reference


Detailed Description

Counting propagators.


Classes

class  Base
 Base-class for count propagators. More...
class  Eq
 Propagator for counting views (equal to number of equal views) More...
class  Nq
 Propagator for counting views (different from number of equal views) More...
class  Lq
 Propagator for counting views (less or equal to number of equal views) More...
class  Gq
 Propagator for counting views (greater or equal to number of equal views) More...
class  RelEqBnd
 Relation for bounds-consistent counting. More...
class  RelEqDom
 Relation for domain-consistent counting. More...

Functions

template<class VX>
ExecStatus post_eq (Space *home, ViewArray< VX > &x, int y)
template<class VX>
ExecStatus post_nq (Space *home, ViewArray< VX > &x, int y)
template<class VX>
ExecStatus post_eq_bnd (Space *home, ViewArray< VX > &x, VX y)
template<class VX>
ExecStatus post_eq_dom (Space *home, ViewArray< VX > &x, VX y)
template<class VX>
ExecStatus post_nq (Space *home, ViewArray< VX > &x, VX y)


Function Documentation

template<class VX>
ExecStatus Gecode::Int::Count::post_eq Space *  home,
ViewArray< VX > &  x,
int  y
 

Definition at line 33 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::post_nq Space *  home,
ViewArray< VX > &  x,
int  y
 

Definition at line 41 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::post_eq_bnd Space *  home,
ViewArray< VX > &  x,
VX  y
 

Definition at line 51 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::post_eq_dom Space *  home,
ViewArray< VX > &  x,
VX  y
 

Definition at line 62 of file rel.icc.

template<class VX>
ExecStatus Gecode::Int::Count::post_nq Space *  home,
ViewArray< VX > &  x,
VX  y
 

Definition at line 73 of file rel.icc.