Contains definitions of common constraints which have different names in Gecode.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1803 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1812 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 1824 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1833 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1842 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 1854 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1864 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1873 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 1885 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1894 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1903 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 1915 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1925 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1934 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 1946 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1955 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1964 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 1976 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1983 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1990 of file minimodel.hh.
|
inline |
Post constraint .
Definition at line 1997 of file minimodel.hh.