#include "clockvector.h"
#include "common.h"
#include "threads.h"
+#include "nodestack.h"
#define ACTION_INITIAL_CLOCK 0
location(loc),
value(value),
reads_from(NULL),
+ node(NULL),
seq_number(ACTION_INITIAL_CLOCK),
- cv(NULL)
+ cv(NULL),
+ sleep_flag(false)
{
Thread *t = thread ? thread : thread_current();
this->tid = t->get_id();