Generated on Thu Jul 6 07:06:52 2006 for Gecode by doxygen 1.4.7
gecode » int

count.cc File Reference

(Revision: 3188)

#include "gecode/int/count.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode

Defines

#define CREATE(VY, VZ, C)

Functions

void Gecode::count (Space *home, const IntVarArgs &x, int n, IntRelType r, int m, IntConLevel icl=ICL_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\sim_r m$.
void Gecode::count (Space *home, const IntVarArgs &x, int n, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=n\}\sim_r z$.
void Gecode::count (Space *home, const IntVarArgs &x, IntVar y, IntRelType r, int m, IntConLevel icl=ICL_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\sim_r m$.
void Gecode::count (Space *home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF)
 Post propagator for $\#\{i\in\{0,\ldots,|x|-1\}\;|\;x_i=y\}\sim_r z$.

Define Documentation

#define CREATE ( VY,
VZ,
C   ) 

Value:

if (icl == ICL_BND) {                                                    \
  if (C<IntView,VY,VZ,Count::RelEqBnd<IntView>,true>::post(home,x,y,z,c) \
      == ES_FAILED)                                                      \
    home->fail();                                                        \
} else {                                                                 \
  if (C<IntView,VY,VZ,Count::RelEqDom<IntView>,true>::post(home,x,y,z,c) \
      == ES_FAILED)                                                      \
    home->fail();                                                        \
}

Definition at line 28 of file count.cc.