48 os <<
"trace<Int>::init(id:" << t.
id();
58 os <<
"trace<Int>::prune(id:" << t.
id();
61 os <<
"): [" << i <<
"] = " << t[
i] <<
" - {";
64 os <<
".." << d.
max();
69 os <<
".." << d.
max();
72 os <<
"} by " << ei << std::endl;
77 os <<
"trace<Int>::fix(id:" << t.
id();
84 double p_c = 100.0 * (sl_c / sl_i);
85 double p_d = 100.0 * (sl_p / sl_i) - p_c;
86 os << std::showpoint << std::setprecision(4)
88 << std::showpoint << std::setprecision(4)
95 os <<
"trace<Int>::done(id:" << t.
id();
98 os <<
") slack: 0%" << std::endl;
110 os <<
"trace<Bool>::init(id:" << t.
id();
120 os <<
"trace<Bool>::prune(id:" << t.
id();
123 os <<
"): [" << i <<
"] = " << t[
i] <<
" - {";
126 os <<
".." << d.
max();
129 os <<
',' << d.
min();
131 os <<
".." << d.
max();
134 os <<
"} by " << ei << std::endl;
139 os <<
"trace<Bool>::fix(id:" << t.
id();
146 double p_c = 100.0 * (sl_c / sl_i);
147 double p_d = 100.0 * (sl_p / sl_i) - p_c;
148 os << std::showpoint << std::setprecision(4)
150 << std::showpoint << std::setprecision(4)
157 os <<
"trace<Bool>::done(id:" << t.
id();
160 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.
const Slack & slack(void) const
Provide access to slack information.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Standard Boolean variable tracer.
virtual void fix(const Space &home, const IntTraceRecorder &t)
Print fixpoint information.
SlackValue initial(void) const
Return initial slack value.
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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual void prune(const Space &home, const IntTraceRecorder &t, const ExecInfo &ei, int i, IntTraceDelta &d)
Print prune information.
virtual void done(const Space &home, const IntTraceRecorder &t)
Print that trace recorder is done.
Propagator for recording trace information.
virtual void prune(const Space &home, const BoolTraceRecorder &t, const ExecInfo &ei, int i, BoolTraceDelta &d)
Print prune information.
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 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)
StdIntTracer(std::ostream &os0=std::cerr)
Initialize with output stream os0 and events \ e.
SlackValue previous(void) const
Return previous slack value.
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.
std::ostream & os
Output stream to use.
static StdBoolTracer def
Default tracer (printing to std::cerr)
Gecode toplevel namespace
SlackValue current(void) const
Return current 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.