action_list_t * generateSC(action_list_t *);
bool processRead(ModelAction *read, ClockVector *cv);
ModelAction * getNextAction();
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;
int maxthreads;
HashTable<const ModelAction *,ClockVector *, uintptr_t, 4 > * cvmap;