class SCAnalysis : public TraceAnalysis {
public:
- SCAnalysis();
+ SCAnalysis(const ModelExecution *execution);
~SCAnalysis();
virtual void analyze(action_list_t *);
action_list_t * generateSC(action_list_t *);
bool processRead(ModelAction *read, ClockVector *cv);
ModelAction * getNextAction();
- bool merge(ClockVector * cv, const ModelAction * act, ClockVector *cv2);
+ bool merge(ClockVector *cv, const ModelAction *act, ClockVector *cv2);
int maxthreads;
- HashTable<const ModelAction *,ClockVector *, uintptr_t, 4 > * cvmap;
- HashTable<const ModelAction *,const ModelAction *, uintptr_t, 4 > * cycleset;
- SnapVector<action_list_t> * threadlists;
+ HashTable<const ModelAction *, ClockVector *, uintptr_t, 4 > *cvmap;
+ HashTable<const ModelAction *, const ModelAction *, uintptr_t, 4 > *cycleset;
+ SnapVector<action_list_t> *threadlists;
+ const ModelExecution *execution;
};
#endif