43 template<
class Char,
class Traits>
44 std::basic_ostream<Char,Traits>&
47 std::basic_ostringstream<Char,Traits> s;
48 s.copyfmt(os); s.width(0);
51 s <<
"propagator(id:" << vti.
propagator().id();
57 s <<
"brancher(id:" << vti.
brancher().id();
59 s <<
",g:" << vti.
brancher().group().id();
65 s <<
"g:" << vti.
post().id();
81 template<
class Char,
class Traits>
82 std::basic_ostream<Char,Traits>&
85 std::basic_ostringstream<Char,Traits> s;
86 s.copyfmt(os); s.width(0);
87 s <<
"propagate(id:" << pti.
id();
99 s <<
"subsumed";
break;
104 return os << s.str();
111 template<
class Char,
class Traits>
112 std::basic_ostream<Char,Traits>&
115 std::basic_ostringstream<Char,Traits> s;
116 s.copyfmt(os); s.width(0);
117 s <<
"commit(id:" << cti.
id();
119 s <<
",g:" << cti.
group().
id();
121 return os << s.str();
128 template<
class Char,
class Traits>
129 std::basic_ostream<Char,Traits>&
132 std::basic_ostringstream<Char,Traits> s;
133 s.copyfmt(os); s.width(0);
136 s <<
"g:" << pti.
group().
id() <<
",";
142 s <<
"failed";
break;
144 s <<
"subsumed";
break;
149 return os << s.str();