36 namespace Gecode {
namespace Float {
namespace Arithmetic {
42 template<
class A,
class B,
class C>
47 template<
class A,
class B,
class C>
52 template<
class A,
class B,
class C>
58 template<
class A,
class B,
class C>
67 template<
class A,
class B,
class C>
70 if (x1.assigned() && (x1.val() == 0))
return ES_FAILED;
73 if (!x2.assigned() || (x2.val() != 0.0))