46 os <<
"trace::" << pti << std::endl;
52 os <<
"trace::" << cti << std::endl
virtual void print(const Space &home, const Choice &c, unsigned int a, std::ostream &o) const
Print branch for choice c and alternative a.
static StdTracer def
Default tracer (printing to std::cerr)
static Support::Mutex m
Mutex to provide synchronization.
Commit trace information.
virtual void commit(const Space &home, const CommitTraceInfo &cti)
Commit function.
const Choice & choice(void) const
Return choice.
unsigned int alternative(void) const
Return alternative.
Propagate trace information.
const Brancher & brancher(void) const
Return brancher.
virtual void propagate(const Space &home, const PropagateTraceInfo &pti)
Propagate function.
Gecode toplevel namespace
std::ostream & os
Output stream to use.
StdTracer(std::ostream &os=std::cerr)
Initialize with output stream os.