common.hpp File Reference

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 ViewArray< View0 > &va, const View1 &y)
template<>
bool | Gecode::viewarrayshared< Set::SingletonView, Set::SetView > (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)