47 template<
class Char,
class Traits>
48 std::basic_ostream<Char,Traits>&
51 std::basic_ostringstream<Char,Traits> s;
52 s.copyfmt(os); s.width(0);
55 s <<
"propagator(id:" << vti.
propagator().id();
61 s <<
"brancher(id:" << vti.
brancher().id();
63 s <<
",g:" << vti.
brancher().group().id();
69 s <<
"g:" << vti.
post().id();
85 template<
class Char,
class Traits>
86 std::basic_ostream<Char,Traits>&
89 std::basic_ostringstream<Char,Traits> s;
90 s.copyfmt(os); s.width(0);
91 s <<
"propagate(id:" << pti.
id();
101 s <<
"failed";
break;
103 s <<
"subsumed";
break;
108 return os << s.str();
115 template<
class Char,
class Traits>
116 std::basic_ostream<Char,Traits>&
119 std::basic_ostringstream<Char,Traits> s;
120 s.copyfmt(os); s.width(0);
121 s <<
"commit(id:" << cti.
id();
123 s <<
",g:" << cti.
group().
id();
125 return os << s.str();