40 template<
class Char,
class Traits>
41 inline std::basic_ostream<Char,Traits>&
43 return os << toString();
46 template<
class Char,
class Traits>
47 std::basic_ostream<Char,Traits>&
48 operator <<(std::basic_ostream<Char,Traits>& os,
const REG&
r) {
Regular expressions over integer values.
std::basic_ostream< Char, Traits > & print(std::basic_ostream< Char, Traits > &os) const
Print expression.
Post propagator for SetVar SetOpType SetVar SetRelType r
Gecode toplevel namespace