0ef12ba407ffa4a80e8b0d82723a2ab872094d05
[model-checker.git] / scanalysis.h
1 #ifndef SCANALYSIS_H
2 #define SCANALYSIS_H
3 #include "traceanalysis.h"
4
5 class SCAnalysis : public Trace_Analysis {
6  public:
7         SCAnalysis();
8         virtual void analyze(action_list_t *);
9
10 };
11 #endif