#include <gecode/int/gcc.hh>
Go to the source code of this file.
Functions | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntPropLevel ipl=IPL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntVarArgs &c, IntPropLevel ipl=IPL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntPropLevel ipl=IPL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSetArgs &c, IntPropLevel ipl=IPL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void | Gecode::count (Home home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntPropLevel ipl=IPL_DEF) |
Posts a global count (cardinality) constraint. More... | |
void Gecode::count | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntVarArgs & | c, | ||
const IntArgs & | v, | ||
IntPropLevel | ipl = IPL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (ipl = IPL_VAL, default), bounds (ipl = IPL_BND), and domain consistency (ipl = IPL_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 IntVarArgs & | c, | ||
IntPropLevel | ipl = IPL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (ipl = IPL_VAL, default), bounds (ipl = IPL_BND), and domain consistency (ipl = IPL_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, | ||
const IntArgs & | v, | ||
IntPropLevel | ipl = IPL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (ipl = IPL_VAL, default), bounds (ipl = IPL_BND), and domain consistency (ipl = IPL_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, | ||
IntPropLevel | ipl = IPL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (ipl = IPL_VAL, default), bounds (ipl = IPL_BND), and domain consistency (ipl = IPL_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 IntSet & | c, | ||
const IntArgs & | v, | ||
IntPropLevel | ipl = IPL_DEF |
||
) |
Posts a global count (cardinality) constraint.
Posts the constraint that and
(no other value occurs).
Supports value (ipl = IPL_VAL, default), bounds (ipl = IPL_BND), and domain consistency (ipl = IPL_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.