action: add get_{type,mo}_str() accessors
[model-checker.git] / 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 analyze(action_list_t *) = 0;
8         SNAPSHOTALLOC
9 };
10 #endif