44 os <<
"trace<Set>::init(id:" <<
t.id();
46 os <<
",g:" <<
t.group().id();
47 os <<
") slack: 100.00% (" <<
t.slack().initial() <<
" values)"
54 os <<
"trace<Set>::prune(id:" <<
t.id();
56 os <<
",g:" <<
t.group().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();
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<Set>::fail(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)
122 os <<
"trace<Set>::done(id:" <<
t.id();
124 os <<
",g:" <<
t.group().id();
125 os <<
") slack: 0%" << std::endl;