Contains definitions of common constraints which have different names in Gecode.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1674 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1683 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 1695 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1704 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1713 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 1725 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1735 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1744 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 1756 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1765 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1774 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 1786 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1796 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1805 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 1817 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1826 of file minimodel.hh.
|
inline |
Post constraint .
Supports domain consistent propagation only.
Definition at line 1835 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 1847 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1854 of file minimodel.hh.
|
inline |
Post lexical order between x and y.
Definition at line 1861 of file minimodel.hh.
|
inline |
Post constraint .
Definition at line 1868 of file minimodel.hh.