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<const ModelAction *, const ModelAction *, uintptr_t, 4 > badrfset;
HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
SnapVector<action_list_t> threadlists;
HashTable<const ModelAction *, const ModelAction *, uintptr_t, 4 > badrfset;
HashTable<void *, const ModelAction *, uintptr_t, 4 > lastwrmap;
SnapVector<action_list_t> threadlists;