Generated on Wed Nov 1 15:05:06 2006 for Gecode by doxygen 1.4.5

Domain constraints
[Using finite integer sets]

Collaboration diagram for Domain constraints:


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 $.
void Gecode::cardinality (Space *home, SetVar x, unsigned int i, unsigned int j)
 Propagates $ i \leq |s| \leq j $.

Function Documentation

void Gecode::dom (  Space *  home,
SetVar  s,
SetRelType  r,
int  i
) 
 

Propagates $ x \sim_r \{i\}$.

Definition at line 32 of file dom.cc.

void Gecode::dom (  Space *  home,
SetVar  s,
SetRelType  r,
int  i,
int  j
) 
 

Propagates $ x \sim_r \{i,\dots,j\}$.

Definition at line 38 of file dom.cc.

void Gecode::dom (  Space *  home,
SetVar  s,
SetRelType  r,
const IntSet &  is
) 
 

Propagates $ x \sim_r s$.

Definition at line 44 of file dom.cc.

void Gecode::dom (  Space *  home,
SetVar  s,
SetRelType  r,
int  i,
BoolVar  b
) 
 

Post propagator for $ (x \sim_r \{i\}) \Leftrightarrow b $.

Definition at line 128 of file dom.cc.

void Gecode::dom (  Space *  home,
SetVar  s,
SetRelType  r,
int  i,
int  j,
BoolVar  b
) 
 

Post propagator for $ (x \sim_r \{i,\dots,j\}) \Leftrightarrow b $.

Definition at line 134 of file dom.cc.

void Gecode::dom (  Space *  home,
SetVar  s,
SetRelType  r,
const IntSet &  is,
BoolVar  b
) 
 

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

Definition at line 140 of file dom.cc.

void Gecode::cardinality (  Space *  home,
SetVar  x,
unsigned int  i,
unsigned int  j
) 
 

Propagates $ i \leq |s| \leq j $.

Definition at line 34 of file cardinality.cc.