Aliases for integer constraints
[Direct modelling]
Detailed Description
Contains definitions of common constraints which have different names in Gecode.
Functions | |
void | Gecode::atmost (Space *home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atmost (Space *home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atmost (Space *home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atmost (Space *home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atmost (Space *home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atmost (Space *home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atleast (Space *home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atleast (Space *home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atleast (Space *home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atleast (Space *home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atleast (Space *home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::atleast (Space *home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::exactly (Space *home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::exactly (Space *home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::exactly (Space *home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::exactly (Space *home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::exactly (Space *home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::exactly (Space *home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for ![]() | |
void | Gecode::lex (Space *home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator for lexical order between x and y. |
Function Documentation
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
int | n, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 831 of file minimodel.hh.
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 840 of file minimodel.hh.
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | y, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 852 of file minimodel.hh.
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
int | n, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 861 of file minimodel.hh.
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 870 of file minimodel.hh.
void Gecode::atmost | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | y, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 882 of file minimodel.hh.
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
int | n, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 892 of file minimodel.hh.
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 901 of file minimodel.hh.
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | y, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 913 of file minimodel.hh.
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
int | n, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 922 of file minimodel.hh.
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 931 of file minimodel.hh.
void Gecode::atleast | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | y, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 943 of file minimodel.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
int | n, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 953 of file minimodel.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 962 of file minimodel.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | y, | |||
int | m, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 974 of file minimodel.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
int | n, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 983 of file minimodel.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Definition at line 992 of file minimodel.hh.
void Gecode::exactly | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntArgs & | y, | |||
IntVar | z, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for .
Supports domain-consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1004 of file minimodel.hh.
void Gecode::lex | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntRelType | r, | |||
const IntVarArgs & | y, | |||
IntConLevel | icl = ICL_DEF , |
|||
PropKind | pk = PK_DEF | |||
) | [inline] |
Post propagator for lexical order between x and y.
- Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1014 of file minimodel.hh.