Functions | |
void | Gecode::count (Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, int m, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, int n, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, IntVar y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntArgs &y, IntRelType irt, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, IntConLevel icl=ICL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, IntConLevel icl=ICL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntConLevel icl=ICL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
IntRelType | irt, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntSet & | y, | ||
IntRelType | irt, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
IntRelType | irt, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
IntRelType | irt, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
Performs domain propagation but is not domain consistent.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
IntRelType | irt, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntSet & | y, | ||
IntRelType | irt, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
IntRelType | irt, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
IntRelType | irt, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
Performs domain propagation but is not domain consistent.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntVarArgs & | c, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain consistency (icl = ICL_DOM).
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntSetArgs & | c, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain consistency (icl = ICL_DOM).
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntVarArgs & | c, | ||
const IntArgs & | v, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain consistency (icl = ICL_DOM).
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
Throws an exception of type Int::ArgumentSizeMismatch, if c and v are of different size.
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntSetArgs & | c, | ||
const IntArgs & | v, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain consistency (icl = ICL_DOM).
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
Throws an exception of type Int::ArgumentSizeMismatch, if c and v are of different size.
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntSet & | c, | ||
const IntArgs & | v, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain consistency (icl = ICL_DOM).
Throws an exception of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
Throws an exception of type Int::ArgumentSizeMismatch, if c and v are of different size.