#ifndef __CLOCKVECTOR_H__
#define __CLOCKVECTOR_H__
-#include "threads.h"
#include "mymemory.h"
+#include "modeltypes.h"
-typedef unsigned int modelclock_t;
/* Forward declaration */
class ModelAction;
void print() const;
modelclock_t getClock(thread_id_t thread);
- MEMALLOC
+ SNAPSHOTALLOC
private:
/** @brief Holds the actual clock data, as an array. */
modelclock_t *clock;