Generated on Wed Jan 4 17:49:16 2006 for Gecode by doxygen 1.4.6

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

#define GECODE_ME_CHECK_B modified,
tell   ) 
 

Value:

{                                               \
    ModEvent me = (tell);                       \
    modified |= me_modified(me);                \
    GECODE_ME_CHECK(me);                        \
  }

Definition at line 64 of file common.icc.

#define GECODE_ME_CHECK_VAL p,
 ) 
 

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.

#define GECODE_ME_CHECK_VAL_B modified,
tell,
 ) 
 

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.