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>
262 template<
class View,
class CtrlView, ReifyMode rm>
267 template<
class View,
class CtrlView, ReifyMode rm>
273 template<
class View,
class CtrlView, ReifyMode rm>
303 template<
class View,
class CtrlView, ReifyMode rm>
308 template<
class View,
class CtrlView, ReifyMode rm>
315 if (x.assigned() && (x.max() >= c.
min()))
338 template<
class View,
class CtrlView, ReifyMode rm>
343 template<
class View,
class CtrlView, ReifyMode rm>
349 template<
class View,
class CtrlView, ReifyMode rm>