40 namespace Gecode {
namespace Float {
namespace Rel {
47 template<
class View0,
class View1>
52 template<
class View0,
class View1>
57 }
else if (x1.assigned()) {
59 }
else if (!
same(x0,x1)) {
69 template<
class View0,
class View1>
74 template<
class View0,
class View1>
81 template<
class View0,
class View1>
87 template<
class View0,
class View1>
92 }
else if (x1.assigned()) {
98 }
while (x0.min() != x1.min());
102 }
while (x0.max() != x1.max());
106 assert(x0.assigned() && x1.assigned());
127 }
else if (x.
size() > 2) {
130 for (
int i=x.
size();
i-- > 1; ) {
134 for (
int i=x.
size();
i--; ) {
166 assert(
x.size() > 2);
169 for (
int i = 0; ;
i++)
173 for (
int j =
x.size(); j--; )
182 for (
int i =
x.size();
i--; ) {
184 if (mn <
x[
i].
min()) {
191 for (
int i =
x.size();
i--; ) {
193 if (mx >
x[
i].
max()) {
208 template<
class View,
class CtrlView, ReifyMode rm>
213 template<
class View,
class CtrlView, ReifyMode rm>
227 (void)
new (home)
ReEq(home,x0,x1,b);
228 }
else if (rm !=
RM_IMP) {
235 template<
class View,
class CtrlView, ReifyMode rm>
240 template<
class View,
class CtrlView, ReifyMode rm>
246 template<
class View,
class CtrlView, ReifyMode rm>
281 template<
class View,
class CtrlView, ReifyMode rm>
287 template<
class View,
class CtrlView, ReifyMode rm>
293 }
else if (x.assigned()) {
308 template<
class View,
class CtrlView, ReifyMode rm>
313 template<
class View,
class CtrlView, ReifyMode rm>
319 template<
class View,
class CtrlView, ReifyMode rm>