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. More... | |
void | Gecode::lex (Home home, const BoolVarArgs &x, IntRelType r, const BoolVarArgs &y, IntConLevel icl=ICL_DEF) |
Post lexical order between x and y. More... | |
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.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1669 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1678 of file minimodel.hh.
|
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 1690 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1699 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1708 of file minimodel.hh.
|
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 1720 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1730 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1739 of file minimodel.hh.
|
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 1751 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1760 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1769 of file minimodel.hh.
|
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 1781 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1791 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1800 of file minimodel.hh.
|
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 1812 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1821 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1830 of file minimodel.hh.
|
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 1842 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1849 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1856 of file minimodel.hh.
|
inline |
Post constraint .
Definition at line 1863 of file minimodel.hh.