common.hpp File Reference
(Revision: 12255)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |
| namespace | Gecode::Set |
Finite integer sets. | |
| namespace | Gecode::Set::RelOp |
Standard set operation propagators. | |
Functions | |
| template<class View0 , class View1 > | |
| bool | Gecode::viewarrayshared (const Space &home, const ViewArray< View0 > &va, const View1 &y) |
| template<> | |
| bool | Gecode::viewarrayshared< Set::SingletonView, Set::SetView > (const Space &, const ViewArray< Set::SingletonView > &, const Set::SetView &) |
| template<class View0 , class View1 , class View2 > | |
| bool | Gecode::Set::RelOp::shared (View0 v0, View1 v1, View2 v2) |
| template<class View0 , class View1 , class View2 > | |
| ExecStatus | Gecode::Set::RelOp::interCard (Space &home, bool &retmodified, View0 &x0, View1 &x1, View2 &x2) |
| template<class View0 , class View1 , class View2 > | |
| ExecStatus | Gecode::Set::RelOp::unionCard (Space &home, bool &retmodified, View0 &x0, View1 &x1, View2 &x2) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::unionNCard (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::unionNXiUB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::partitionNCard (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::partitionNXi (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::partitionNXiUB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::partitionNXiLB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::partitionNYLB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets) |
| template<class View0 , class View1 > | |
| ExecStatus | Gecode::Set::RelOp::partitionNYUB (Space &home, bool &modified, ViewArray< View0 > &x, View1 &y, GLBndSet &unionOfDets) |