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

dom.cc File Reference

(Revision: 6344)

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

Go to the source code of this file.

Namespaces

namespace  Gecode

Functions

void Gecode::dom (Space *home, SetVar x, SetRelType r, int i)
 Propagates $ x \sim_r \{i\}$.
void Gecode::dom (Space *home, SetVar x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$.
void Gecode::dom (Space *home, SetVar x, SetRelType r, const IntSet &s)
 Propagates $ x \sim_r s$.
void Gecode::dom (Space *home, SetVar x, SetRelType r, int i, BoolVar b)
 Post propagator for $ (x \sim_r \{i\}) \Leftrightarrow b $.
void Gecode::dom (Space *home, SetVar x, SetRelType r, int i, int j, BoolVar b)
 Post propagator for $ (x \sim_r \{i,\dots,j\}) \Leftrightarrow b $.
void Gecode::dom (Space *home, SetVar x, SetRelType r, const IntSet &s, BoolVar b)
 Post propagator for $ (x \sim_r s) \Leftrightarrow b $.