Generated on Thu Feb 21 2013 23:11:51 for Gecode by doxygen 1.8.3.1
Namespaces | Functions
dom.cpp File Reference

(Revision: 12346)

#include <gecode/set.hh>
#include <gecode/set/rel.hh>

Go to the source code of this file.

Namespaces

namespace  Gecode
 Gecode toplevel namespace
 

Functions

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