projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
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