44 namespace Gecode {
namespace Set {
78 unsigned int cardMin(
void)
const;
80 unsigned int cardMax(
void)
const;
86 int lubMinN(
unsigned int n)
const;
93 unsigned int glbSize(
void)
const;
95 unsigned int lubSize(
void)
const;
172 template<
class Char,
class Traits>
173 std::basic_ostream<Char,Traits>&
174 operator <<(std::basic_ostream<Char,Traits>& os,
const SetView& x);
200 unsigned int domSize;
213 unsigned int cardMin(
void)
const;
215 unsigned int cardMax(
void)
const;
221 int lubMinN(
unsigned int n)
const;
228 unsigned int glbSize(
void)
const;
230 unsigned int lubSize(
void)
const;
312 template<
class Char,
class Traits>
313 std::basic_ostream<Char,Traits>&
314 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstSetView& x);
346 unsigned int cardMin(
void)
const;
348 unsigned int cardMax(
void)
const;
354 int lubMinN(
unsigned int n)
const;
361 unsigned int glbSize(
void)
const;
363 unsigned int lubSize(
void)
const;
439 template<
class Char,
class Traits>
440 std::basic_ostream<Char,Traits>&
441 operator <<(std::basic_ostream<Char,Traits>& os,
const EmptyView& x);
473 unsigned int cardMin(
void)
const;
475 unsigned int cardMax(
void)
const;
481 int lubMinN(
unsigned int n)
const;
488 unsigned int glbSize(
void)
const;
490 unsigned int lubSize(
void)
const;
566 template<
class Char,
class Traits>
567 std::basic_ostream<Char,Traits>&
568 operator <<(std::basic_ostream<Char,Traits>& os,
const UniverseView& x);
616 unsigned int cardMin(
void)
const;
618 unsigned int cardMax(
void)
const;
624 int lubMinN(
unsigned int n)
const;
631 unsigned int glbSize(
void)
const;
633 unsigned int lubSize(
void)
const;
739 template<
class Char,
class Traits>
740 std::basic_ostream<Char,Traits>&
741 operator <<(std::basic_ostream<Char,Traits>& os,
const SingletonView& x);
777 unsigned int cardMin(
void)
const;
779 unsigned int cardMax(
void)
const;
785 int lubMinN(
unsigned int n)
const;
792 unsigned int glbSize(
void)
const;
794 unsigned int lubSize(
void)
const;
900 template<
class Char,
class Traits,
class View>
901 std::basic_ostream<Char,Traits>&
902 operator <<(std::basic_ostream<Char,Traits>& os,
947 unsigned int cardMin(
void)
const;
949 unsigned int cardMax(
void)
const;
955 int lubMinN(
unsigned int n)
const;
962 unsigned int glbSize(
void)
const;
964 unsigned int lubSize(
void)
const;
1089 template<
class Char,
class Traits,
class View>
1090 std::basic_ostream<Char,Traits>&
1091 operator <<(std::basic_ostream<Char,Traits>& os,
1098 template<
class View>
1115 template<
class View>