Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6
gecode » cpltset » constraints

cardinality.cc File Reference

(Revision: 6039)

#include "gecode/cpltset.hh"
#include "gecode/cpltset/propagators.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode

Functions

void Gecode::cardinality (Space *home, CpltSetVar x, unsigned int l, unsigned int u)
 Post propagator for $ l \leq |x| \leq u $.
void Gecode::cardinality (Space *home, CpltSetVar x, unsigned int c)
 Post propagator for $ l |x| = c $.