41 #define GECODE_INT_RND_TWDS_ZERO 1
43 #define GECODE_INT_RND_TWDS_ZERO 0
46 namespace Gecode {
namespace Int {
69 void init(
const View& x);
87 unsigned int width(
void)
const;
109 void init(
const View& x);
117 namespace Gecode {
namespace Int {
161 unsigned int size(
void)
const;
163 unsigned int width(
void)
const;
173 bool range(
void)
const;
176 bool in(
int n)
const;
178 bool in(
double n)
const;
269 template<
class Char,
class Traits>
270 std::basic_ostream<Char,Traits>&
271 operator <<(std::basic_ostream<Char,Traits>& os,
const IntView& x);
305 unsigned int size(
void)
const;
307 unsigned int width(
void)
const;
317 bool range(
void)
const;
320 bool in(
int n)
const;
322 bool in(
double n)
const;
409 template<
class Char,
class Traits>
410 std::basic_ostream<Char,Traits>&
411 operator <<(std::basic_ostream<Char,Traits>& os,
const MinusView& x);
452 unsigned int size(
void)
const;
454 unsigned int width(
void)
const;
464 bool range(
void)
const;
467 bool in(
int n)
const;
469 bool in(
double n)
const;
562 template<
class Char,
class Traits>
563 std::basic_ostream<Char,Traits>&
564 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView& x);
667 template<
class Val,
class UnsVal>
680 Val
exact_div(
double y,
bool& exact)
const;
681 #if GECODE_INT_RND_TWDS_ZERO
703 int scale(
void)
const;
714 UnsVal
size(
void)
const;
716 UnsVal
width(
void)
const;
726 bool range(
void)
const;
728 bool in(Val n)
const;
786 template<
class Char,
class Traits>
787 std::basic_ostream<Char,Traits>&
788 operator <<(std::basic_ostream<Char,Traits>& os,
const IntScaleView& x);
794 template<
class Char,
class Traits>
795 std::basic_ostream<Char,Traits>&
796 operator <<(std::basic_ostream<Char,Traits>& os,
const DoubleScaleView& x);
803 template<
class Val,
class UnsVal>
806 template<
class Val,
class UnsVal>
843 unsigned int size(
void)
const;
845 unsigned int width(
void)
const;
855 bool range(
void)
const;
857 bool in(
int n)
const;
859 bool in(
double n)
const;
946 template<
class Char,
class Traits>
947 std::basic_ostream<Char,Traits>&
948 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstIntView& x);
989 unsigned int size(
void)
const;
991 unsigned int width(
void)
const;
1001 bool range(
void)
const;
1003 bool in(
int n)
const;
1005 bool in(
double n)
const;
1086 template<
class Char,
class Traits>
1087 std::basic_ostream<Char,Traits>&
1088 operator <<(std::basic_ostream<Char,Traits>& os,
const ZeroIntView& x);
1111 template<
class View>
1134 int min(
void)
const;
1136 int max(
void)
const;
1138 int med(
void)
const;
1140 int val(
void)
const;
1143 unsigned int size(
void)
const;
1145 unsigned int width(
void)
const;
1155 bool range(
void)
const;
1158 bool in(
int n)
const;
1160 bool in(
double n)
const;
1263 template<
class Char,
class Traits,
class View>
1264 std::basic_ostream<Char,Traits>&
1265 operator <<(std::basic_ostream<Char,Traits>& os,
const CachedView<View>& x);
1272 template<
class View>
1275 template<
class View>
1287 template<
class View>
1346 int min(
void)
const;
1348 int max(
void)
const;
1350 int med(
void)
const;
1352 int val(
void)
const;
1355 unsigned int size(
void)
const;
1357 unsigned int width(
void)
const;
1367 bool range(
void)
const;
1369 bool in(
int n)
const;
1371 bool in(
double n)
const;
1377 bool zero(
void)
const;
1379 bool one(
void)
const;
1381 bool none(
void)
const;
1489 template<
class Char,
class Traits>
1490 std::basic_ostream<Char,Traits>&
1491 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolView& x);
1532 bool zero(
void)
const;
1534 bool one(
void)
const;
1536 bool none(
void)
const;
1554 int min(
void)
const;
1556 int max(
void)
const;
1558 int val(
void)
const;
1580 template<
class Char,
class Traits>
1581 std::basic_ostream<Char,Traits>&
1582 operator <<(std::basic_ostream<Char,Traits>& os,
const NegBoolView& x);
1605 namespace Gecode {
namespace Int {