46 os <<
"trace::" << pti << std::endl;
52 os <<
"trace::" << cti << std::endl
61 os <<
"trace::" << pti << 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.
Commit trace information.
unsigned int alternative(void) const
Return alternative.
const Choice & choice(void) const
Return choice.
const Brancher & brancher(void) const
Return brancher.
Propagate trace information.
std::ostream & os
Output stream to use.
StdTracer(std::ostream &os=std::cerr)
Initialize with output stream os.
virtual void propagate(const Space &home, const PropagateTraceInfo &pti)
Propagate function.
static StdTracer def
Default tracer (printing to std::cerr)
virtual void commit(const Space &home, const CommitTraceInfo &cti)
Commit function.
virtual void post(const Space &home, const PostTraceInfo &pti)
Post function.
A mutex for mutual exclausion among several threads.
static Support::Mutex m
Mutex to provide synchronization.
Gecode toplevel namespace