48 os <<
"trace<Float>::init(id:" <<
t.id();
50 os <<
",g:";
t.group().id();
51 os <<
") slack: 100.00% (" <<
t.slack().initial() <<
" width)" 58 os <<
"trace<Float>::prune(id:" <<
t.id();
60 os <<
",g:";
t.group().id();
61 os <<
"): [" <<
i <<
"] = " <<
t[
i] <<
" - [" 63 <<
"] by " << vti << std::endl;
68 os <<
"trace<Float>::fix(id:" <<
t.id();
70 os <<
",g:";
t.group().id();
72 double sl_i = static_cast<double>(
t.slack().initial());
73 double sl_p = static_cast<double>(
t.slack().previous());
74 double sl_c = static_cast<double>(
t.slack().current());
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();
88 os <<
",g:";
t.group().id();
90 double sl_i = static_cast<double>(
t.slack().initial());
91 double sl_p = static_cast<double>(
t.slack().previous());
92 double sl_c = static_cast<double>(
t.slack().current());
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();
106 os <<
",g:";
t.group().id();
108 double sl_i = static_cast<double>(
t.slack().initial());
109 double sl_p = static_cast<double>(
t.slack().previous());
110 double sl_c = static_cast<double>(
t.slack().current());
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)
Print failure virtual information void fail(const Space &home, const FloatTraceRecorder &t)
Initialize with output stream a os0 StdFloatTracer(std::ostream &os0=std::cerr)
int min(int i) const
Return minimum of range at position i.
Print prune virtual information void prune(const Space &home, const FloatTraceRecorder &t, const ViewTraceInfo &vti, int i, FloatTraceDelta &d)
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)
int max(int i) const
Return maximum of range at position i.
Output stream to use std::ostream & os
Propagator for recording view trace information.
Trace delta information for float variables.
Print init virtual information void init(const Space &home, const FloatTraceRecorder &t)
Gecode toplevel namespace
Print fixpoint virtual information void fix(const Space &home, const FloatTraceRecorder &t)