dom.cc File Reference

(Revision: 3188)

#include "gecode/int/dom.hh"

Go to the source code of this file.

Namespaces

namespace Gecode

Functions

void Gecode::dom (Space *home, IntVar x, int l, int m, IntConLevel=ICL_DEF)

Propagates $l\leq x\leq m$ .

void Gecode::dom (Space *home, IntVarArgs &x, int l, int m, IntConLevel=ICL_DEF)

Propagates $l\leq x_i\leq m$ for all $0\leq i<|x|$ .

void Gecode::dom (Space *home, IntVar x, const IntSet &s, IntConLevel=ICL_DEF)

Propagates $x\in s$ .

void Gecode::dom (Space *home, IntVarArgs &x, const IntSet &s, IntConLevel=ICL_DEF)

Propagates $x_i\in s$ for all $0\leq i<|x|$ .

void Gecode::dom (Space *home, IntVar x, int l, int m, BoolVar b, IntConLevel=ICL_DEF)

Post propagator for $(l\leq x \leq m) \Leftrightarrow b$ .

void Gecode::dom (Space *home, IntVar x, const IntSet &s, BoolVar b, IntConLevel=ICL_DEF)

Post propagator for $(x \in s) \Leftrightarrow b$ .


Namespaces
namespace	Gecode
Functions
void	Gecode::dom (Space *home, IntVar x, int l, int m, IntConLevel=ICL_DEF)
	Propagates $l\leq x\leq m$ .
void	Gecode::dom (Space *home, IntVarArgs &x, int l, int m, IntConLevel=ICL_DEF)
	Propagates $l\leq x_i\leq m$ for all $0\leq i<\|x\|$ .
void	Gecode::dom (Space *home, IntVar x, const IntSet &s, IntConLevel=ICL_DEF)
	Propagates $x\in s$ .
void	Gecode::dom (Space *home, IntVarArgs &x, const IntSet &s, IntConLevel=ICL_DEF)
	Propagates $x_i\in s$ for all $0\leq i<\|x\|$ .
void	Gecode::dom (Space *home, IntVar x, int l, int m, BoolVar b, IntConLevel=ICL_DEF)
	Post propagator for $(l\leq x \leq m) \Leftrightarrow b$ .
void	Gecode::dom (Space *home, IntVar x, const IntSet &s, BoolVar b, IntConLevel=ICL_DEF)
	Post propagator for $(x \in s) \Leftrightarrow b$ .