Functions | |
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i) |
Propagates ![]() | |
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j) |
Propagates ![]() | |
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s) |
Propagates ![]() | |
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, BoolVar b) |
Post propagator for ![]() | |
void | Gecode::dom (Home home, SetVar x, SetRelType r, int i, int j, BoolVar b) |
Post propagator for ![]() | |
void | Gecode::dom (Home home, SetVar x, SetRelType r, const IntSet &s, BoolVar b) |
Post propagator for ![]() | |
void | Gecode::cardinality (Home home, SetVar x, unsigned int i, unsigned int j) |
Propagates ![]() |
void Gecode::dom | ( | Home | home, |
SetVar | s, | ||
SetRelType | r, | ||
int | i | ||
) |
void Gecode::dom | ( | Home | home, |
SetVar | s, | ||
SetRelType | r, | ||
int | i, | ||
int | j | ||
) |
void Gecode::dom | ( | Home | home, |
SetVar | s, | ||
SetRelType | r, | ||
const IntSet & | is | ||
) |
void Gecode::dom | ( | Home | home, |
SetVar | s, | ||
SetRelType | r, | ||
int | i, | ||
BoolVar | b | ||
) |
void Gecode::dom | ( | Home | home, |
SetVar | s, | ||
SetRelType | r, | ||
int | i, | ||
int | j, | ||
BoolVar | b | ||
) |
void Gecode::dom | ( | Home | home, |
SetVar | s, | ||
SetRelType | r, | ||
const IntSet & | is, | ||
BoolVar | b | ||
) |
void Gecode::cardinality | ( | Home | home, |
SetVar | x, | ||
unsigned int | i, | ||
unsigned int | j | ||
) |
Propagates .
Definition at line 48 of file cardinality.cpp.