|
| Initialize with output stream a os0 | StdFloatTracer (std::ostream &os0=std::cerr) |
| |
| Print init virtual information void | init (const Space &home, const FloatTraceRecorder &t) |
| |
| Print prune virtual information void | prune (const Space &home, const FloatTraceRecorder &t, const ViewTraceInfo &vti, int i, FloatTraceDelta &d) |
| |
| Print fixpoint virtual information void | fix (const Space &home, const FloatTraceRecorder &t) |
| |
| Print failure virtual information void | fail (const Space &home, const FloatTraceRecorder &t) |
| |
| Print that trace recorder is virtual done void | done (const Space &home, const FloatTraceRecorder &t) |
| |
| Default | tracer (printing to std::cerr) static StdFloatTracer def |
| |
| | ViewTracer (void) |
| | Constructor. More...
|
| |
| virtual void | init (const Space &home, const ViewTraceRecorder< View > &t)=0 |
| | Init function. More...
|
| |
| virtual void | prune (const Space &home, const ViewTraceRecorder< View > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< View >::TraceDelta &d)=0 |
| | Prune function. More...
|
| |
| virtual void | fail (const Space &home, const ViewTraceRecorder< View > &t)=0 |
| | Fail function. More...
|
| |
| virtual void | fix (const Space &home, const ViewTraceRecorder< View > &t)=0 |
| | Fixpoint function. More...
|
| |
| virtual void | done (const Space &home, const ViewTraceRecorder< View > &t)=0 |
| | Done function. More...
|
| |
| virtual | ~ViewTracer (void) |
| | Destructor. More...
|
| |
Standard float variable tracer.
Definition at line 2094 of file float.hh.