48 os <<
"trace<Float>::init(id:" << t.
id();
58 os <<
"trace<Float>::prune(id:" << t.
id();
61 os <<
"): [" << i <<
"] = " << t[
i] <<
" - [" 62 << d.
min() <<
".." << d.
max()
63 <<
"] by " << vti << std::endl;
68 os <<
"trace<Float>::fix(id:" << t.
id();
75 double p_c = 100.0 * (sl_c / sl_i);
76 double p_d = 100.0 * (sl_p / sl_i) - p_c;
77 os << std::showpoint << std::setprecision(4)
79 << std::showpoint << std::setprecision(4)
86 os <<
"trace<Float>::fail(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<Float>::done(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)
bool in(Group a) const
Check whether actor group a is included in this group.
Print failure virtual information void fail(const Space &home, const FloatTraceRecorder &t)
Initialize with output stream a os0 StdFloatTracer(std::ostream &os0=std::cerr)
unsigned int id(void) const
Return a unique id for the group.
Return maximum FloatNum max(void) const
Print prune virtual information void prune(const Space &home, const FloatTraceRecorder &t, const ViewTraceInfo &vti, int i, FloatTraceDelta &d)
unsigned int id(void) const
Return propagator id.
Print that trace recorder is virtual done void done(const Space &home, const FloatTraceRecorder &t)
Standard float variable tracer.
Gecode::IntArgs i(4, 1, 2, 3, 4)
name Access Return minimum FloatNum min(void) const
Output stream to use std::ostream & os
PropagatorGroup group(void) const
Return group propagator belongs to.
SlackValue previous(void) const
Return previous slack value.
Propagator for recording view trace information.
Trace delta information for float variables.
Print init virtual information void init(const Space &home, const FloatTraceRecorder &t)
SlackValue current(void) const
Return current slack value.
Gecode toplevel namespace
const Slack & slack(void) const
Provide access to slack information.
SlackValue initial(void) const
Return initial slack value.
Print fixpoint virtual information void fix(const Space &home, const FloatTraceRecorder &t)