44 os <<
"trace<Set>::init(id:" << t.
id();
54 os <<
"trace<Set>::prune(id:" << t.
id();
57 os <<
"): [" << i <<
"] = " << t[
i] <<
" + {";
61 os << glb.min() <<
".." << glb.max();
64 os <<
"," << glb.min() <<
".." << glb.max();
73 os << lub.min() <<
".." << lub.max();
76 os <<
"," << lub.min() <<
".." << lub.max();
81 os <<
"} by " << vti << std::endl;
86 os <<
"trace<Set>::fix(id:" << t.
id();
93 double p_c = 100.0 * (sl_c / sl_i);
94 double p_d = 100.0 * (sl_p / sl_i) - p_c;
95 os << std::showpoint << std::setprecision(4)
97 << std::showpoint << std::setprecision(4)
104 os <<
"trace<Set>::fail(id:" << t.
id();
111 double p_c = 100.0 * (sl_c / sl_i);
112 double p_d = 100.0 * (sl_p / sl_i) - p_c;
113 os << std::showpoint << std::setprecision(4)
115 << std::showpoint << std::setprecision(4)
122 os <<
"trace<Set>::done(id:" << t.
id();
125 os <<
") slack: 0%" << std::endl;
Glb & glb(void)
Give access to iterator for delta in greatest lower bound (values that have been included) ...
bool in(Group a) const
Check whether actor group a is included in this group.
StdSetTracer(std::ostream &os0=std::cerr)
Initialize with output stream os0.
virtual void fail(const Space &home, const SetTraceRecorder &t)
Print failure information.
Standard set variable tracer.
unsigned int id(void) const
Return a unique id for the group.
Lub & lub(void)
Give access iterator for delta in leat bound (values that have been removed)
unsigned int id(void) const
Return propagator id.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual void fix(const Space &home, const SetTraceRecorder &t)
Print fixpoint information.
std::ostream & os
Output stream to use.
PropagatorGroup group(void) const
Return group propagator belongs to.
virtual void prune(const Space &home, const SetTraceRecorder &t, const ViewTraceInfo &vti, int i, SetTraceDelta &d)
Print prune information.
SlackValue previous(void) const
Return previous slack value.
Trace delta information for set variables.
Propagator for recording view trace information.
virtual void done(const Space &home, const SetTraceRecorder &t)
Print that trace recorder is done.
virtual void init(const Space &home, const SetTraceRecorder &t)
Print init information.
Delta for the least upper bound.
SlackValue current(void) const
Return current slack value.
Delta for the greatest lower bound.
Gecode toplevel namespace
const Slack & slack(void) const
Provide access to slack information.
SlackValue initial(void) const
Return initial slack value.
static StdSetTracer def
Default tracer (printing to std::cerr)