|
Initialize with output stream a os0 | StdSetTracer (std::ostream &os0=std::cerr) |
|
Print init virtual information void | init (const Space &home, const SetTraceRecorder &t) |
|
Print prune virtual information void | prune (const Space &home, const SetTraceRecorder &t, const ExecInfo &ei, int i, SetTraceDelta &d) |
|
Print fixpoint virtual information void | fix (const Space &home, const SetTraceRecorder &t) |
|
Print that trace recorder is virtual done void | done (const Space &home, const SetTraceRecorder &t) |
|
Default | tracer (printing to std::cerr) static StdSetTracer def |
|
| Tracer (void) |
| Constructor. More...
|
|
virtual void | init (const Space &home, const TraceRecorder< View > &t)=0 |
| Init function. More...
|
|
virtual void | prune (const Space &home, const TraceRecorder< View > &t, const ExecInfo &ei, int i, typename TraceTraits< View >::TraceDelta &d)=0 |
| Prune function. More...
|
|
virtual void | fix (const Space &home, const TraceRecorder< View > &t)=0 |
| Fixpoint function. More...
|
|
virtual void | done (const Space &home, const TraceRecorder< View > &t)=0 |
| Done function. More...
|
|
virtual | ~Tracer (void) |
| Destructor. More...
|
|
Standard set variable tracer.
Definition at line 1717 of file set.hh.