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:" << ei.propagator().id();
56 if (ei.propagator().group().in())
57 s <<
",g:" << ei.propagator().group().id();
61 s <<
"brancher(id:" << ei.brancher().id();
62 if (ei.brancher().group().in())
63 s <<
",g:" << ei.brancher().group().id();
69 s <<
"g:" << ei.post().id();
A post function is executing.
A propagator is currently executing.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.