class SCAnalysis : public TraceAnalysis {
public:
SCAnalysis();
~SCAnalysis();
virtual void setExecution(ModelExecution * execution);
virtual void analyze(action_list_t *);
class SCAnalysis : public TraceAnalysis {
public:
SCAnalysis();
~SCAnalysis();
virtual void setExecution(ModelExecution * execution);
virtual void analyze(action_list_t *);
void print_list(action_list_t *list);
int buildVectors(action_list_t *);
bool updateConstraints(ModelAction *act);
void print_list(action_list_t *list);
int buildVectors(action_list_t *);
bool updateConstraints(ModelAction *act);
HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
SnapVector<action_list_t> threadlists;
ModelExecution *execution;
HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
SnapVector<action_list_t> threadlists;
ModelExecution *execution;