Generated on Thu Mar 22 10:39:49 2012 for Gecode by doxygen 1.6.3

Domain constraints [Using finite domain integers]

Functions

void Gecode::dom (Home home, IntVar x, int n, IntConLevel icl=ICL_DEF)
Propagates .
void Gecode::dom (Home home, const IntVarArgs &x, int n, IntConLevel icl=ICL_DEF)
Propagates for all .
void Gecode::dom (Home home, IntVar x, int l, int m, IntConLevel icl=ICL_DEF)
Propagates .
void Gecode::dom (Home home, const IntVarArgs &x, int l, int m, IntConLevel icl=ICL_DEF)
Propagates for all .
void Gecode::dom (Home home, IntVar x, const IntSet &s, IntConLevel icl=ICL_DEF)
Propagates .
void Gecode::dom (Home home, const IntVarArgs &x, const IntSet &s, IntConLevel icl=ICL_DEF)
Propagates for all .
void Gecode::dom (Home home, IntVar x, int n, BoolVar b, IntConLevel icl=ICL_DEF)
Post domain consistent propagator for .
void Gecode::dom (Home home, IntVar x, int l, int m, BoolVar b, IntConLevel icl=ICL_DEF)
Post domain consistent propagator for .
void Gecode::dom (Home home, IntVar x, const IntSet &s, BoolVar b, IntConLevel icl=ICL_DEF)
Post domain consistent propagator for .

Function Documentation

 void Gecode::dom ( Home home, IntVar x, int n, IntConLevel )

Propagates .

 void Gecode::dom ( Home home, const IntVarArgs & x, int n, IntConLevel )

Propagates for all .

 void Gecode::dom ( Home home, IntVar x, int min, int max, IntConLevel )

Propagates .

 void Gecode::dom ( Home home, const IntVarArgs & x, int min, int max, IntConLevel )

Propagates for all .

 void Gecode::dom ( Home home, IntVar x, const IntSet & is, IntConLevel )

Propagates .

 void Gecode::dom ( Home home, const IntVarArgs & x, const IntSet & is, IntConLevel )

Propagates for all .

 void Gecode::dom ( Home home, IntVar x, int n, BoolVar b, IntConLevel )

Post domain consistent propagator for .

 void Gecode::dom ( Home home, IntVar x, int min, int max, BoolVar b, IntConLevel )

Post domain consistent propagator for .

 void Gecode::dom ( Home home, IntVar x, const IntSet & is, BoolVar b, IntConLevel )

Post domain consistent propagator for .