SNAPSHOTALLOC
private:
+ void print_list(action_list_t *list);
void buildVectors(action_list_t *);
+ bool updateConstraints(ModelAction *act);
void computeCV(action_list_t *);
+ action_list_t * generateSC(action_list_t *);
bool processRead(ModelAction *read, ClockVector *cv);
+ ModelAction * getNextAction();
int maxthreads;
HashTable<const ModelAction *,ClockVector *, uintptr_t, 4 > * cvmap;
+ SnapVector<action_list_t> * threadlists;
};
#endif