Generated on Wed Nov 1 15:04:49 2006 for Gecode by doxygen 1.4.5
gecode » int » distinct

ter-dom.icc File Reference

(Revision: 3446)

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Int
namespace  Gecode::Int::Distinct

Defines

#define GECODE_INT_HALL_ONE(x0, x1, x2)
#define GECODE_INT_HALL_TWO(x0, x1, x2)

Define Documentation

#define GECODE_INT_HALL_ONE (  x0,
x1,
x2   ) 
 

Value:

if (x0.assigned()) {                                            \
    GECODE_ME_CHECK(x1.nq(home,x0.val()));                      \
    GECODE_ME_CHECK(x2.nq(home,x0.val()));                      \
    if (x1.assigned()) {                                        \
      GECODE_ME_CHECK(x2.nq(home,x1.val()));                    \
      return ES_SUBSUMED;                                       \
    }                                                           \
    if (x2.assigned()) {                                        \
      GECODE_ME_CHECK(x1.nq(home,x2.val()));                    \
      return ES_SUBSUMED;                                       \
    }                                                           \
    return ES_FIX;                                              \
  }

Definition at line 54 of file ter-dom.icc.

#define GECODE_INT_HALL_TWO (  x0,
x1,
x2   ) 
 

Value:

if ((x0.size() == 2) && (x1.size() == 2) &&                     \
      (x0.min() == x1.min()) && (x0.max() == x1.max())) {       \
    GECODE_ME_CHECK(x2.nq(home,x0.min()));                      \
    GECODE_ME_CHECK(x2.nq(home,x0.max()));                      \
    return ES_FIX;                                              \
  }

Definition at line 71 of file ter-dom.icc.