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();
BrancherGroup group(void) const
Return brancher group.
bool in(Group a) const
Check whether actor group a is included in this group.
void propagator(Propagator &p)
Record that propagator p is executing.
A propagator is currently executing.
void brancher(Brancher &b)
Record that brancher b is executing.
unsigned int id(void) const
Return a unique id for the group.
A post function is executing.
Commit trace information.
PropagatorGroup group(void) const
Return propagator group.
Propagator computed fixpoint.
Propagate trace information.
void post(PropagatorGroup g)
Record that a post function with propagator group g is executing.
Propagator did not compute fixpoint.
unsigned int id(void) const
Return brancher identifier.
Status status(void) const
Return propagator status.
Archive & operator<<(Archive &e, FloatNumBranch nl)
unsigned int id(void) const
Return propagator identifier.
Gecode toplevel namespace
What what(void) const
Return what is currently executing.
#define GECODE_NEVER
Assert that this command is never executed.