42 namespace Gecode {
namespace Int {
namespace Arithmetic {
44 template<
class View,
template<
class View0,
class View1>
class Eq>
56 }
else if (x0.max() <= 0) {
59 }
else if (x1.val() == 0) {
63 int mp[2] = {-x1.val(),x1.val()};
92 }
else if (x0.max() <= 0) {
95 assert(!x0.assigned());
98 int mp[2] = {-x1.val(),x1.val()};
101 }
else if (!
same(x0,x1)) {
132 return prop_abs_bnd<View,Rel::EqBnd>(home, *
this, x0, x1);
145 }
else if (x0.max() <= 0) {
148 assert(!x0.assigned());
151 int mp[2] = {-x1.val(),x1.val()};
154 }
else if (!
same(x0,x1)) {
196 using namespace Iter::Ranges;
197 Positive<ViewRanges<View> > p(
i);
198 Negative<ViewRanges<View> > n(j);
211 using namespace Iter::Ranges;