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