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 " << vti << 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>::fail(id:" << t.
id();
102 double p_c = 100.0 * (sl_c / sl_i);
103 double p_d = 100.0 * (sl_p / sl_i) - p_c;
104 os << std::showpoint << std::setprecision(4)
106 << std::showpoint << std::setprecision(4)
113 os <<
"trace<Int>::done(id:" << t.
id();
116 os <<
") slack: 0%" << std::endl;
128 os <<
"trace<Bool>::init(id:" << t.
id();
138 os <<
"trace<Bool>::prune(id:" << t.
id();
141 os <<
"): [" << i <<
"] = " << t[
i] <<
" - {";
144 os <<
".." << d.
max();
147 os <<
',' << d.
min();
149 os <<
".." << d.
max();
152 os <<
"} by " << vti << std::endl;
157 os <<
"trace<Bool>::fix(id:" << t.
id();
164 double p_c = 100.0 * (sl_c / sl_i);
165 double p_d = 100.0 * (sl_p / sl_i) - p_c;
166 os << std::showpoint << std::setprecision(4)
168 << std::showpoint << std::setprecision(4)
175 os <<
"trace<Bool>::fail(id:" << t.
id();
182 double p_c = 100.0 * (sl_c / sl_i);
183 double p_d = 100.0 * (sl_p / sl_i) - p_c;
184 os << std::showpoint << std::setprecision(4)
186 << std::showpoint << std::setprecision(4)
193 os <<
"trace<Bool>::done(id:" << t.
id();
196 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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual void fail(const Space &home, const BoolTraceRecorder &t)
Print failure information.
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.