40 template<
class Char,
class Traits>
41 inline std::basic_ostream<Char,Traits>&
42 operator <<(std::basic_ostream<Char,Traits>& os,
const IntVar&
x) {
47 template<
class Char,
class Traits>
48 inline std::basic_ostream<Char,Traits>&
49 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolVar&
x) {