common.icc File Reference
(Revision: 2566)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Set |
namespace | Gecode::Set::RelOp |
Defines | |
#define | GECODE_ME_CHECK_B(modified, tell) |
#define | GECODE_ME_CHECK_VAL(p, f) |
#define | GECODE_ME_CHECK_VAL_B(modified, tell, f) |
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 > &va, const Set::SetView &y) |
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::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 &unionOfDets) |
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) |
Define Documentation
|
Value: { \ ModEvent me = (tell); \ modified |= me_modified(me); \ GECODE_ME_CHECK(me); \ } Definition at line 64 of file common.icc. |
|
Value: { \ ModEvent __me__ ## __LINE__ = (p); \ if (me_failed(__me__ ## __LINE__)) return ES_FAILED; \ if (ME_GEN_ASSIGNED==(__me__ ## __LINE__))f=true; } Definition at line 71 of file common.icc. |
|
Value: { \ ModEvent me = (tell); \ modified |= me_modified(me); \ if (ME_GEN_ASSIGNED==(me))f=true; \ GECODE_ME_CHECK(me); \ } Definition at line 76 of file common.icc. |