48 os <<
"trace<Set>::init(id:" <<
t.id();
50 os <<
",g:";
t.group().id();
51 os <<
") slack: 100.00% (" <<
t.slack().initial() <<
" values)"
58 os <<
"trace<Set>::prune(id:" <<
t.id();
60 os <<
",g:";
t.group().id();
61 os <<
"): [" <<
i <<
"] = " <<
t[
i] <<
" + {";
65 os << glb.
min() <<
".." << glb.
max();
68 os <<
"," << glb.
min() <<
".." << glb.
max();
77 os << lub.
min() <<
".." << lub.
max();
80 os <<
"," << lub.
min() <<
".." << lub.
max();
85 os <<
"} by " << vti << std::endl;
90 os <<
"trace<Set>::fix(id:" <<
t.id();
92 os <<
",g:";
t.group().id();
94 double sl_i =
static_cast<double>(
t.slack().initial());
95 double sl_p =
static_cast<double>(
t.slack().previous());
96 double sl_c =
static_cast<double>(
t.slack().current());
97 double p_c = 100.0 * (sl_c / sl_i);
98 double p_d = 100.0 * (sl_p / sl_i) - p_c;
99 os << std::showpoint << std::setprecision(4)
101 << std::showpoint << std::setprecision(4)
108 os <<
"trace<Set>::fail(id:" <<
t.id();
110 os <<
",g:";
t.group().id();
112 double sl_i =
static_cast<double>(
t.slack().initial());
113 double sl_p =
static_cast<double>(
t.slack().previous());
114 double sl_c =
static_cast<double>(
t.slack().current());
115 double p_c = 100.0 * (sl_c / sl_i);
116 double p_d = 100.0 * (sl_p / sl_i) - p_c;
117 os << std::showpoint << std::setprecision(4)
119 << std::showpoint << std::setprecision(4)
126 os <<
"trace<Set>::done(id:" <<
t.id();
128 os <<
",g:";
t.group().id();
129 os <<
") slack: 0%" << std::endl;