36 template<
class Char,
class Traits>
37 inline std::basic_ostream<Char,Traits>&
38 operator <<(std::basic_ostream<Char,Traits>& os,
const IntVar&
x) {
43 template<
class Char,
class Traits>
44 inline std::basic_ostream<Char,Traits>&
45 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolVar&
x) {
Boolean integer variables.
Integer view for integer variables.
Post propagator for SetVar x
Gecode toplevel namespace
Boolean view for Boolean variables.