Cardinality constraints
[Using finite domain integers]
Collaboration diagram for Cardinality constraints:
Functions | |
void | Gecode::count (Space *home, const IntVarArgs &x, int n, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Space *home, const IntVarArgs &x, IntVar y, IntRelType r, int m, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Space *home, const IntVarArgs &x, int n, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::count (Space *home, const IntVarArgs &x, IntVar y, IntRelType r, IntVar z, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::gcc (Space *home, const IntVarArgs &x, const IntArgs &c, int m, int unspec, int min, int max, IntConLevel icl) |
Post propagator for
| |
void | Gecode::gcc (Space *home, const IntVarArgs &x, const IntArgs &c, int m, int unspec_low, int unspec_up, int min, int max, IntConLevel icl) |
Post propagator for
| |
void | Gecode::gcc (Space *home, const IntVarArgs &x, int ub, IntConLevel cl) |
Post propagator for ![]() | |
void | Gecode::gcc (Space *home, const IntVarArgs &x, int lb, int ub, IntConLevel cl) |
Post propagator for ![]() | |
void | Gecode::gcc (Space *home, const IntVarArgs &x, const IntVarArgs &c, int min, int max, IntConLevel cl) |
Post propagator for ![]() | |
void | Gecode::gcc (Space *home, const IntVarArgs &x, const IntArgs &v, const IntVarArgs &c, int m, int unspec, bool all, int min, int max, IntConLevel icl) |
Post propagator for ![]() | |
void | Gecode::gcc (Space *home, const IntVarArgs &x, const IntArgs &v, const IntVarArgs &c, int m, int unspec_low, int unspec_up, bool all, int min, int max, IntConLevel icl) |
Post propagator for ![]() |
Function Documentation
|
Post propagator for Supports bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default). |
|
Post propagator for Supports bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default). |
|
Post propagator for Supports bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default). |
|
Post propagator for Supports bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default). |
|
Post propagator for
.
![]() ![]() ![]() ![]()
In this interface values |
|
Post propagator for
.
![]() ![]() ![]() ![]()
In this interface values
Furthermore, this interface requires that |
|
Post propagator for
|
|
Post propagator for
|
|
Post propagator for
This interface requires that |
|
Post propagator for
This interface requires that |
|
Post propagator for
This interface requires that |