40 template<
class Char,
class Traits>
41 std::basic_ostream<Char,Traits>&
47 return os <<
"[" <<
data.symbol <<
"]";
50 bool par = ((
data.kids[0] != NULL) &&
53 return data.kids[0]->print(os << (par ?
"*(" :
"*"))
58 bool par0 = ((
data.kids[0] != NULL) &&
60 std::ostream& os1 =
data.kids[0]->print(os << (par0 ?
"(" :
""))
61 << (par0 ?
")+" :
"+");
62 bool par1 = ((
data.kids[1] != NULL) &&
64 return data.kids[1]->print(os1 << (par1 ?
"(" :
"") )
68 return data.kids[1]->print(
data.kids[0]->print(os) <<
"|");
76 template<
class Char,
class Traits>
77 inline std::basic_ostream<Char,Traits>&
79 std::basic_ostringstream<Char,Traits> s;
80 s.copyfmt(os); s.width(0);
85 template<
class Char,
class Traits>
86 std::basic_ostream<Char,Traits>&
87 operator <<(std::basic_ostream<Char,Traits>& os,
const REG&
r) {
union Gecode::REG::Exp::@62 data
Symbol or subexpressions.
Regular expressions over integer values.
ExpType type
Type of regular expression.
std::basic_ostream< Char, Traits > & print(std::basic_ostream< Char, Traits > &os) const
Print expression.
std::basic_ostream< Char, Traits > & print(std::basic_ostream< Char, Traits > &os) const
Print expression.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.