42 namespace Gecode {
namespace Float {
namespace Rel {
59 if (!
same(x0,x1) && (x0.max() > x1.min()))
60 (void)
new (home)
Lq<View>(home,x0,x1);
72 return new (home)
Lq<View>(home,share,*
this);
80 return (x0.assigned() || x1.assigned() || (x0.max() <= x1.min())) ? home.
ES_SUBSUMED(*
this) :
ES_FIX;
98 if (x0.assigned() && x1.assigned()) {
99 if (x0.max() >= x1.min())
101 }
else if (
same(x0,x1))
103 if (x0.max() >= x1.min())
104 (
void)
new (home)
Le<View>(home,x0,x1);
116 return new (home)
Le<View>(home,share,*
this);
124 if (x0.assigned() && x1.assigned()) {
138 template<
class View,
class CtrlView, ReifyMode rm>
143 template<
class View,
class CtrlView, ReifyMode rm>
167 if (!x0.assigned() || !x1.assigned())
176 }
else if (rm !=
RM_IMP) {
182 template<
class View,
class CtrlView, ReifyMode rm>
187 template<
class View,
class CtrlView, ReifyMode rm>
193 template<
class View,
class CtrlView, ReifyMode rm>
199 }
else if (
b.zero()) {
213 if (!x0.assigned() || !x1.assigned())
231 template<
class View,
class CtrlView, ReifyMode rm>
236 template<
class View,
class CtrlView, ReifyMode rm>
245 if (x.assigned() && (x.min() <= c.
max()))
269 template<
class View,
class CtrlView, ReifyMode rm>
274 template<
class View,
class CtrlView, ReifyMode rm>
280 template<
class View,
class CtrlView, ReifyMode rm>
286 }
else if (
b.zero()) {
318 template<
class View,
class CtrlView, ReifyMode rm>
323 template<
class View,
class CtrlView, ReifyMode rm>
330 if (x.assigned() && (x.max() >= c.
min()))
334 }
else if (b.zero()) {
357 template<
class View,
class CtrlView, ReifyMode rm>
362 template<
class View,
class CtrlView, ReifyMode rm>
368 template<
class View,
class CtrlView, ReifyMode rm>
379 }
else if (
b.zero()) {