47 template<
class Char,
class Traits>
48 std::basic_ostream<Char,Traits>&
49 operator <<(std::basic_ostream<Char,Traits>& os,
51 std::basic_ostringstream<Char,Traits> s;
52 s.copyfmt(os); s.width(0);
55 s <<
"propagator(id:" << vti.propagator().id();
56 if (vti.propagator().group().in())
57 s <<
",g:" << vti.propagator().group().id();
61 s <<
"brancher(id:" << vti.brancher().id();
62 if (vti.brancher().group().in())
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>&
87 operator <<(std::basic_ostream<Char,Traits>& os,
89 std::basic_ostringstream<Char,Traits> s;
90 s.copyfmt(os); s.width(0);
91 s <<
"propagate(id:" << pti.
id();
93 s <<
",g:" << pti.group().id();
95 switch (pti.status()) {
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>&
117 operator <<(std::basic_ostream<Char,Traits>& os,
119 std::basic_ostringstream<Char,Traits> s;
120 s.copyfmt(os); s.width(0);
121 s <<
"commit(id:" << cti.
id();
122 if (cti.group().in())
123 s <<
",g:" << cti.group().id();
125 return os << s.str();
A propagator is currently executing.
A post function is executing.
Commit trace information.
Propagator computed fixpoint.
Propagate trace information.
Propagator did not compute fixpoint.
unsigned int id(void) const
Return brancher identifier.
unsigned int id(void) const
Return propagator identifier.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.