add some support for traceanalysis plugins

[model-checker.git] / scanalysis.h

diff --git a/scanalysis.h b/scanalysis.h
new file mode 100644 (file)
index 0000000..0ef12ba
--- /dev/null
+++ b/scanalysis.h
@@ -0,0 +1,11 @@
+#ifndef SCANALYSIS_H
+#define SCANALYSIS_H
+#include "traceanalysis.h"
+
+class SCAnalysis : public Trace_Analysis {
+ public:
+       SCAnalysis();
+       virtual void analyze(action_list_t *);
+
+};
+#endif