#include "action.h"
#include "common.h"
#include "model.h"
-#include "threads.h"
+#include "threads-model.h"
/**
* @brief Node constructor
if (prevfi) {
*fi=*prevfi;
}
- if (parent->enabled_array[i]==THREAD_ENABLED) {
+ if (parent->is_enabled(i)) {
fi->enabled_count++;
}
if (i==currtid) {
}
//Do window processing
if (prevfairness != NULL) {
- if (prevfairness -> parent->enabled_array[i] == THREAD_ENABLED)
+ if (prevfairness -> parent->is_enabled(i))
fi->enabled_count--;
if (i==prevtid) {
fi->turns--;
bool Node::is_enabled(Thread *t)
{
int thread_id=id_to_int(t->get_id());
- return thread_id < num_threads && (enabled_array[thread_id] == THREAD_ENABLED);
+ return thread_id < num_threads && (enabled_array[thread_id] != THREAD_DISABLED);
}
bool Node::is_enabled(thread_id_t tid)
{
int thread_id=id_to_int(tid);
- return thread_id < num_threads && (enabled_array[thread_id] == THREAD_ENABLED);
+ return thread_id < num_threads && (enabled_array[thread_id] != THREAD_DISABLED);
}
bool Node::has_priority(thread_id_t tid)