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