43 template<
class Char,
class Traits>
44 std::basic_ostream<Char,Traits>&
45 operator <<(std::basic_ostream<Char,Traits>& os,
47 std::basic_ostringstream<Char,Traits> s;
48 s.copyfmt(os); s.width(0);
51 s <<
"propagator(id:" << vti.propagator().id();
52 if (vti.propagator().group().in())
53 s <<
",g:" << vti.propagator().group().id();
57 s <<
"brancher(id:" << vti.brancher().id();
58 if (vti.brancher().group().in())
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>&
83 operator <<(std::basic_ostream<Char,Traits>& os,
85 std::basic_ostringstream<Char,Traits> s;
86 s.copyfmt(os); s.width(0);
87 s <<
"propagate(id:" << pti.
id();
89 s <<
",g:" << pti.group().id();
91 switch (pti.status()) {
99 s <<
"subsumed";
break;
104 return os << s.str();
111 template<
class Char,
class Traits>
112 std::basic_ostream<Char,Traits>&
113 operator <<(std::basic_ostream<Char,Traits>& os,
115 std::basic_ostringstream<Char,Traits> s;
116 s.copyfmt(os); s.width(0);
117 s <<
"commit(id:" << cti.
id();
118 if (cti.group().in())
119 s <<
",g:" << cti.group().id();
121 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.