traceanalysis.h

   1 #ifndef TRACE_ANALYSIS_H
   2 #define TRACE_ANALYSIS_H
   3 #include "model.h"
   4
   5 class TraceAnalysis {
   6  public:
   7         virtual void setExecution(ModelExecution * execution) = 0;
   8         virtual void analyze(action_list_t *) = 0;
   9         virtual char * name() = 0;
  10         SNAPSHOTALLOC
  11 };
  12 #endif