#define TRACE_ANALYSIS_H
#include "model.h"
-class Trace_Analysis {
+class TraceAnalysis {
public:
+ virtual void setExecution(ModelExecution * execution) = 0;
virtual void analyze(action_list_t *) = 0;
+ virtual char * name() = 0;
SNAPSHOTALLOC
};
#endif