40 namespace Gecode {
namespace Int {
namespace Arithmetic {
55 x1.lq(home,floor(::
sqrt(static_cast<double>(x0.max()))));
61 x1.gq(home,floor(::
sqrt(static_cast<double>(x0.min()))));
66 double next =
static_cast<double>(x1.max()+1);
72 ModEvent me = x0.gq(home,x1.min()*x1.min());
131 return (n+1)*(n+1)-1;
140 return static_cast<int>(floor(::
sqrt(static_cast<double>(n))));
144 return static_cast<int>(floor(::
sqrt(static_cast<double>(n))));