示例#1
0
文件: float.hpp 项目: kenhys/gecode
 forceinline ModEvent
 FloatVarImp::lq(Space& home, const FloatVal& n) {
   if (n.max() >= dom.max()) return ME_FLOAT_NONE;
   if (n.max() < dom.min())  return ME_FLOAT_FAILED;
   FloatDelta d(n.min(),dom.max());
   ModEvent me = ME_FLOAT_BND;
   dom = intersect(dom,FloatVal(dom.min(),n.min()));
   if (assigned()) me = ME_FLOAT_VAL;
   GECODE_ASSUME((me == ME_FLOAT_VAL) |
                 (me == ME_FLOAT_BND));
   return notify(home,me,d);
 }
示例#2
0
 forceinline ModEvent
 FloatVarImp::gq(Space& home, FloatNum n) {
   if (n > dom.max())  return ME_FLOAT_FAILED;
   if ((n <= dom.min()) || assigned()) return ME_FLOAT_NONE;
   FloatDelta d(dom.min(),n);
   ModEvent me = ME_FLOAT_BND;
   dom = intersect(dom,FloatVal(n,dom.max()));
   if (assigned()) me = ME_FLOAT_VAL;
   GECODE_ASSUME((me == ME_FLOAT_VAL) |
                 (me == ME_FLOAT_BND));
   return notify(home,me,d);
 }
示例#3
0
文件: float.hpp 项目: kenhys/gecode
 forceinline ModEvent
 FloatVarImp::eq(Space& home, const FloatVal& n) {
   if (!overlap(dom,n))
     return ME_FLOAT_FAILED;
   if (assigned() || subset(dom,n))
     return ME_FLOAT_NONE;
   FloatDelta d;
   ModEvent me = ME_FLOAT_BND;
   dom = intersect(dom,n);
   if (assigned()) me = ME_FLOAT_VAL;
   GECODE_ASSUME((me == ME_FLOAT_VAL) |
                 (me == ME_FLOAT_BND));
   return notify(home,me,d);
 }