Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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)