40 namespace Gecode {
namespace Float {
namespace Rel {
46 template<
class View0,
class View1>
51 template<
class View0,
class View1>
54 if (x0.assigned() && x1.assigned()) {
57 }
else if (
same(x0,x1)) {
65 template<
class View0,
class View1>
70 template<
class View0,
class View1>
76 template<
class View0,
class View1>
79 if (x0.assigned() && x1.assigned()) {