Functions | |
void | Gecode::atmost (Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atmost (Home home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atmost (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atmost (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atleast (Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atleast (Home home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atleast (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::atleast (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::exactly (Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, int m, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::exactly (Home home, const IntVarArgs &x, int n, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::exactly (Home home, const IntVarArgs &x, IntVar y, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::exactly (Home home, const IntVarArgs &x, const IntArgs &y, IntVar z, IntConLevel icl=ICL_DEF) |
Post constraint ![]() | |
void | Gecode::lex (Home home, const IntVarArgs &x, IntRelType r, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
Post lexical order between x and y. | |
void | Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntConLevel icl=ICL_DEF) |
Post lexical order between x and y. | |
void | Gecode::values (Home home, const IntVarArgs &x, IntSet y, IntConLevel icl=ICL_DEF) |
Post constraint ![]() |
Contains definitions of common constraints which have different names in Gecode.
void Gecode::atmost | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1350 of file minimodel.hh.
void Gecode::atmost | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1359 of file minimodel.hh.
void Gecode::atmost | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1371 of file minimodel.hh.
void Gecode::atmost | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1380 of file minimodel.hh.
void Gecode::atmost | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1389 of file minimodel.hh.
void Gecode::atmost | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1401 of file minimodel.hh.
void Gecode::atleast | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1411 of file minimodel.hh.
void Gecode::atleast | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1420 of file minimodel.hh.
void Gecode::atleast | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1432 of file minimodel.hh.
void Gecode::atleast | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1441 of file minimodel.hh.
void Gecode::atleast | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1450 of file minimodel.hh.
void Gecode::atleast | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1462 of file minimodel.hh.
void Gecode::exactly | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1472 of file minimodel.hh.
void Gecode::exactly | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1481 of file minimodel.hh.
void Gecode::exactly | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
int | m, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1493 of file minimodel.hh.
void Gecode::exactly | ( | Home | home, |
const IntVarArgs & | x, | ||
int | n, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1502 of file minimodel.hh.
void Gecode::exactly | ( | Home | home, |
const IntVarArgs & | x, | ||
IntVar | y, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1511 of file minimodel.hh.
void Gecode::exactly | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntArgs & | y, | ||
IntVar | z, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Supports domain consistent propagation only.
Throws an exception of type Int::ArgumentSizeMismatch, if x and y are of different size.
Definition at line 1523 of file minimodel.hh.
void Gecode::lex | ( | Home | home, |
const IntVarArgs & | x, | ||
IntRelType | r, | ||
const IntVarArgs & | y, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post lexical order between x and y.
Definition at line 1530 of file minimodel.hh.
void Gecode::lex | ( | Home | home, |
const BoolVarArgs & | x, | ||
IntRelType | r, | ||
const BoolVarArgs & | y, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post lexical order between x and y.
Definition at line 1537 of file minimodel.hh.
void Gecode::values | ( | Home | home, |
const IntVarArgs & | x, | ||
IntSet | y, | ||
IntConLevel | icl = ICL_DEF |
||
) | [inline] |
Post constraint .
Definition at line 1544 of file minimodel.hh.