|
| | StdIntTracer (std::ostream &os0=std::cerr) |
| | Initialize with output stream os0 and events \ e.
|
| |
| virtual void | init (const Space &home, const IntTraceRecorder &t) |
| | Print init information.
|
| |
| virtual void | prune (const Space &home, const IntTraceRecorder &t, const ViewTraceInfo &vti, int i, IntTraceDelta &d) |
| | Print prune information.
|
| |
| virtual void | fix (const Space &home, const IntTraceRecorder &t) |
| | Print fixpoint information.
|
| |
| virtual void | fail (const Space &home, const IntTraceRecorder &t) |
| | Print failure information.
|
| |
| virtual void | done (const Space &home, const IntTraceRecorder &t) |
| | Print that trace recorder is done.
|
| |
| | ViewTracer (void) |
| | Constructor.
|
| |
| virtual void | init (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Init function.
|
| |
| virtual void | prune (const Space &home, const ViewTraceRecorder< Int::IntView > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< Int::IntView >::TraceDelta &d)=0 |
| | Prune function.
|
| |
| virtual void | fail (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Fail function.
|
| |
| virtual void | fix (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Fixpoint function.
|
| |
| virtual void | done (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Done function.
|
| |
| virtual | ~ViewTracer (void) |
| | Destructor.
|
| |
| | ViewTracer (void) |
| | Constructor.
|
| |
| virtual void | init (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Init function.
|
| |
| virtual void | prune (const Space &home, const ViewTraceRecorder< Int::IntView > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< Int::IntView >::TraceDelta &d)=0 |
| | Prune function.
|
| |
| virtual void | fail (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Fail function.
|
| |
| virtual void | fix (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Fixpoint function.
|
| |
| virtual void | done (const Space &home, const ViewTraceRecorder< Int::IntView > &t)=0 |
| | Done function.
|
| |
| virtual | ~ViewTracer (void) |
| | Destructor.
|
| |
Standard integer variable tracer.
Definition at line 5616 of file int.hh.