Generated on Thu Apr 11 13:59:35 2019 for Gecode by doxygen 1.6.3

Domain constraints
[Using integer set variables and constraints]

Functions

void Gecode::dom (Home home, SetVar x, SetRelType r, int i)
 Propagates $ x \sim_r \{i\}$.
void Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i)
 Propagates $ x_i \sim_r \{i\}$ for all $0\leq i<|x|$.
void Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$.
void Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$ for all $0\leq i<|x|$.
void Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s)
 Propagates $ x \sim_r s$.
void Gecode::dom (Home home, const SetVarArgs &x, SetRelType r, const IntSet &s)
 Propagates $ x \sim_r s$ for all $0\leq i<|x|$.
void Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j)
 Propagates $ i \leq |s| \leq j $.
void Gecode::cardinality (Home home, const SetVarArgs &x, unsigned int i, unsigned int j)
 Propagates $ i \leq |s| \leq j $ for all $0\leq i<|x|$.
void Gecode::dom (Home home, SetVar x, SetRelType rt, int i, Reify r)
 Post propagator for $ (x \sim_{rt} \{i\}) \equiv r $.
void Gecode::dom (Home home, SetVar x, SetRelType rt, int i, int j, Reify r)
 Post propagator for $ (x \sim_{rt} \{i,\dots,j\}) \equiv r $.
void Gecode::dom (Home home, SetVar x, SetRelType rt, const IntSet &s, Reify r)
 Post propagator for $ (x \sim_{rt} s) \equiv r $.
void Gecode::dom (Home home, SetVar x, SetVar d)
 Constrain domain of x according to domain of d.
void Gecode::dom (Home home, const SetVarArgs &x, const SetVarArgs &d)
 Constrain domain of $ x_i $ according to domain of $ d_i $ for all $0\leq i<|x|$.

Function Documentation

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

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

void Gecode::dom ( Home  home,
const SetVarArgs &  s,
SetRelType  r,
int  i 
)

Propagates $ x_i \sim_r \{i\}$ for all $0\leq i<|x|$.

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

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

void Gecode::dom ( Home  home,
const SetVarArgs &  s,
SetRelType  r,
int  i,
int  j 
)

Propagates $ x \sim_r \{i,\dots,j\}$ for all $0\leq i<|x|$.

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

Propagates $ x \sim_r s$.

void Gecode::dom ( Home  home,
const SetVarArgs &  s,
SetRelType  r,
const IntSet &  is 
)

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

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

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

void Gecode::cardinality ( Home  home,
const SetVarArgs &  x,
unsigned int  i,
unsigned int  j 
)

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

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  rt,
int  i,
Reify  r 
)

Post propagator for $ (x \sim_{rt} \{i\}) \equiv r $.

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  rt,
int  i,
int  j,
Reify  r 
)

Post propagator for $ (x \sim_{rt} \{i,\dots,j\}) \equiv r $.

void Gecode::dom ( Home  home,
SetVar  s,
SetRelType  rt,
const IntSet &  is,
Reify  r 
)

Post propagator for $ (x \sim_{rt} s) \equiv r $.

void Gecode::dom ( Home  home,
SetVar  x,
SetVar  d 
)

Constrain domain of x according to domain of d.

void Gecode::dom ( Home  home,
const SetVarArgs &  x,
const SetVarArgs &  d 
)

Constrain domain of $ x_i $ according to domain of $ d_i $ for all $0\leq i<|x|$.