Contains definitions of common constraints which have different names in Gecode.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1799 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1808 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 1820 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1829 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1838 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 1850 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1860 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1869 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 1881 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1890 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1899 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 1911 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1921 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1930 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 1942 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1951 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1960 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 1972 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1979 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1986 of file minimodel.hh.
|
inline |
Post constraint .
Definition at line 1993 of file minimodel.hh.