44 os <<
"trace<Int>::init(id:" << t.
id();
54 os <<
"trace<Int>::prune(id:" << t.
id();
57 os <<
"): [" << i <<
"] = " << t[
i] <<
" - {";
60 os <<
".." << d.
max();
65 os <<
".." << d.
max();
68 os <<
"} by " << vti << std::endl;
73 os <<
"trace<Int>::fix(id:" << t.
id();
80 double p_c = 100.0 * (sl_c / sl_i);
81 double p_d = 100.0 * (sl_p / sl_i) - p_c;
82 os << std::showpoint << std::setprecision(4)
84 << std::showpoint << std::setprecision(4)
91 os <<
"trace<Int>::fail(id:" << t.
id();
98 double p_c = 100.0 * (sl_c / sl_i);
99 double p_d = 100.0 * (sl_p / sl_i) - p_c;
100 os << std::showpoint << std::setprecision(4)
102 << std::showpoint << std::setprecision(4)
109 os <<
"trace<Int>::done(id:" << t.
id();
112 os <<
") slack: 0%" << std::endl;
124 os <<
"trace<Bool>::init(id:" << t.
id();
134 os <<
"trace<Bool>::prune(id:" << t.
id();
137 os <<
"): [" << i <<
"] = " << t[
i] <<
" - {";
140 os <<
".." << d.
max();
143 os <<
',' << d.
min();
145 os <<
".." << d.
max();
148 os <<
"} by " << vti << std::endl;
153 os <<
"trace<Bool>::fix(id:" << t.
id();
160 double p_c = 100.0 * (sl_c / sl_i);
161 double p_d = 100.0 * (sl_p / sl_i) - p_c;
162 os << std::showpoint << std::setprecision(4)
164 << std::showpoint << std::setprecision(4)
171 os <<
"trace<Bool>::fail(id:" << t.
id();
178 double p_c = 100.0 * (sl_c / sl_i);
179 double p_d = 100.0 * (sl_p / sl_i) - p_c;
180 os << std::showpoint << std::setprecision(4)
182 << std::showpoint << std::setprecision(4)
189 os <<
"trace<Bool>::done(id:" << t.
id();
192 os <<
") slack: 0%" << std::endl;
StdBoolTracer(std::ostream &os0=std::cerr)
Initialize with output stream os0.
bool in(Group a) const
Check whether actor group a is included in this group.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Standard Boolean variable tracer.
virtual void prune(const Space &home, const BoolTraceRecorder &t, const ViewTraceInfo &vti, int i, BoolTraceDelta &d)
Print prune information.
virtual void fix(const Space &home, const IntTraceRecorder &t)
Print fixpoint information.
int max(void) const
Return largest value of range.
unsigned int id(void) const
Return a unique id for the group.
Standard integer variable tracer.
virtual void init(const Space &home, const IntTraceRecorder &t)
Print init information.
unsigned int id(void) const
Return propagator id.
virtual void fail(const Space &home, const BoolTraceRecorder &t)
Print failure information.
Gecode::IntArgs i({1, 2, 3, 4})
virtual void done(const Space &home, const IntTraceRecorder &t)
Print that trace recorder is done.
virtual void done(const Space &home, const BoolTraceRecorder &t)
Print that trace recorder is done.
PropagatorGroup group(void) const
Return group propagator belongs to.
virtual void prune(const Space &home, const IntTraceRecorder &t, const ViewTraceInfo &vti, int i, IntTraceDelta &d)
Print prune information.
virtual void init(const Space &home, const BoolTraceRecorder &t)
Print init information.
std::ostream & os
Output stream to use.
static StdIntTracer def
Default tracer (printing to std::cerr)
SlackValue previous(void) const
Return previous slack value.
StdIntTracer(std::ostream &os0=std::cerr)
Initialize with output stream os0 and events \ e.
Propagator for recording view trace information.
virtual void fix(const Space &home, const BoolTraceRecorder &t)
Print fixpoint information.
Trace delta information for integer variables.
int min(void) const
Return smallest value of range.
virtual void fail(const Space &home, const IntTraceRecorder &t)
Print failure information.
std::ostream & os
Output stream to use.
SlackValue current(void) const
Return current slack value.
static StdBoolTracer def
Default tracer (printing to std::cerr)
Gecode toplevel namespace
const Slack & slack(void) const
Provide access to slack information.
SlackValue initial(void) const
Return initial slack value.
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Trace delta information for Boolean variables.
int max(void) const
Return largest value of range.