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 " << ei << 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>::done(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)
bool in(Group a) const
Check whether actor group a is included in this group.
const Slack & slack(void) const
Provide access to slack information.
SlackValue initial(void) const
Return initial slack value.
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
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
Propagator for recording trace information.
Output stream to use std::ostream & os
PropagatorGroup group(void) const
Return group propagator belongs to.
Print prune virtual information void prune(const Space &home, const FloatTraceRecorder &t, const ExecInfo &ei, int i, FloatTraceDelta &d)
SlackValue previous(void) const
Return previous slack value.
Trace delta information for float variables.
Print init virtual information void init(const Space &home, const FloatTraceRecorder &t)
Gecode toplevel namespace
SlackValue current(void) const
Return current slack value.
Print fixpoint virtual information void fix(const Space &home, const FloatTraceRecorder &t)