40 template<
class Char,
class Traits>
41 inline std::basic_ostream<Char,Traits>&
47 template<
class Char,
class Traits>
48 inline std::basic_ostream<Char,Traits>&
Boolean integer variables.
Integer view for integer variables.
Post propagator for SetVar x
Archive & operator<<(Archive &e, FloatNumBranch nl)
Gecode toplevel namespace
Boolean view for Boolean variables.