36 namespace Gecode {
namespace Iter {
namespace Ranges {
48 template<
class Val,
class UnsVal,
class I>
85 UnsVal
width(
void)
const;
121 template<
class Val,
class UnsVal,
class I>
125 template<
class Val,
class UnsVal,
class I>
138 template<
class Val,
class UnsVal,
class I>
150 template<
class Val,
class UnsVal,
class I>
166 template<
class Val,
class UnsVal,
class I>
169 return (
a == 1) ?
i() : (cur <= end);
172 template<
class Val,
class UnsVal,
class I>
175 return (
a == 1) ? static_cast<Val>(
i.min()) : cur;
177 template<
class Val,
class UnsVal,
class I>
180 return (
a == 1) ? static_cast<Val>(
i.max()) : cur;
182 template<
class Val,
class UnsVal,
class I>
186 static_cast<UnsVal>(
i.width()) :
187 static_cast<UnsVal>(1);
196 while ((mi > ma) &&
i()) {
197 mi = static_cast<int>(ceil(static_cast<double>(
i.min())/
a));
198 ma = static_cast<int>(floor(static_cast<double>(
i.max())/
a));
202 int n_mi = static_cast<int>(ceil(static_cast<double>(
i.min())/
a));
205 int n_ma = static_cast<int>(floor(static_cast<double>(
i.max())/
a));