#define __CLOCKVECTOR_H__
#include "threads.h"
+#include "mymemory.h"
/* Forward declaration */
class ModelAction;
~ClockVector();
void merge(ClockVector *cv);
bool happens_before(ModelAction *act, thread_id_t id);
+
+ MEMALLOC
private:
int *clock;
int num_threads;