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

cardinality.cc File Reference

(Revision: 6344)

#include "gecode/set.hh"
#include "gecode/set/int.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode

Functions

void Gecode::cardinality (Space *home, SetVar x, unsigned int i, unsigned int j)
 Propagates $ i \leq |s| \leq j $.
void Gecode::cardinality (Space *home, SetVar s, IntVar x)
 Post propagator for $ |s|=x $.