40 namespace Gecode {
namespace Int {
63 void init(
const View& x);
81 unsigned int width(
void)
const;
103 void init(
const View& x);
111 namespace Gecode {
namespace Int {
155 unsigned int size(
void)
const;
157 unsigned int width(
void)
const;
167 bool range(
void)
const;
170 bool in(
int n)
const;
172 bool in(
long long int n)
const;
264 template<
class Char,
class Traits>
265 std::basic_ostream<Char,Traits>&
266 operator <<(std::basic_ostream<Char,Traits>& os,
const IntView&
x);
300 unsigned int size(
void)
const;
302 unsigned int width(
void)
const;
312 bool range(
void)
const;
315 bool in(
int n)
const;
317 bool in(
long long int 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(
long long int n)
const;
567 template<
class Char,
class Traits>
568 std::basic_ostream<Char,Traits>&
569 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x);
670 template<
class Val,
class UnsVal>
688 int scale(
void)
const;
699 UnsVal
size(
void)
const;
701 UnsVal
width(
void)
const;
711 bool range(
void)
const;
713 bool in(Val
n)
const;
771 template<
class Char,
class Traits>
772 std::basic_ostream<Char,Traits>&
773 operator <<(std::basic_ostream<Char,Traits>& os,
const IntScaleView&
x);
779 template<
class Char,
class Traits>
780 std::basic_ostream<Char,Traits>&
781 operator <<(std::basic_ostream<Char,Traits>& os,
const LLongScaleView&
x);
788 template<
class Val,
class UnsVal>
791 template<
class Val,
class UnsVal>
828 unsigned int size(
void)
const;
830 unsigned int width(
void)
const;
840 bool range(
void)
const;
842 bool in(
int n)
const;
844 bool in(
long long int n)
const;
936 template<
class Char,
class Traits>
937 std::basic_ostream<Char,Traits>&
938 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstIntView&
x);
979 unsigned int size(
void)
const;
981 unsigned int width(
void)
const;
991 bool range(
void)
const;
993 bool in(
int n)
const;
995 bool in(
long long int n)
const;
1081 template<
class Char,
class Traits>
1082 std::basic_ostream<Char,Traits>&
1083 operator <<(std::basic_ostream<Char,Traits>& os,
const ZeroIntView&
x);
1106 template<
class View>
1129 int min(
void)
const;
1131 int max(
void)
const;
1133 int med(
void)
const;
1135 int val(
void)
const;
1138 unsigned int size(
void)
const;
1140 unsigned int width(
void)
const;
1150 bool range(
void)
const;
1153 bool in(
int n)
const;
1155 bool in(
long long int n)
const;
1263 template<
class Char,
class Traits,
class View>
1264 std::basic_ostream<Char,Traits>&
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(
long long int 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 {