towards supporting scanalysis...
[model-checker.git] / scanalysis.h
1 #ifndef SCANALYSIS_H
2 #define SCANALYSIS_H
3 #include "traceanalysis.h"
4 #include "hashtable.h"
5
6 class SCAnalysis : public Trace_Analysis {
7  public:
8         SCAnalysis();
9         ~SCAnalysis();
10         virtual void analyze(action_list_t *);
11
12         SNAPSHOTALLOC
13  private:
14         void buildVectors(action_list_t *);
15         void computeCV(action_list_t *);
16         bool processRead(ModelAction *read, ClockVector *cv);
17         int maxthreads;
18         HashTable<const ModelAction *,ClockVector *, uintptr_t, 4 > * cvmap;
19 };
20 #endif