42 template<
class Char,
class Traits>
43 inline std::basic_ostream<Char,Traits>&
Float view for float variables.
Node * x
Pointer to corresponding Boolean expression node.
Archive & operator<<(Archive &e, FloatNumBranch nl)
Gecode toplevel namespace