nodestack: move has_priority() out of header

diff --git a/nodestack.cc b/nodestack.cc
index d5425e335dad86614b4e09db71717e0b00dfe2d2..c6ca076d734aa2460ed9efa1aa25cbe1aca04afa 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -273,6 +273,11 @@ bool Node::is_enabled(thread_id_t tid)
        return thread_id < num_threads && enabled_array[thread_id];
 }
 
+bool Node::has_priority(thread_id_t tid)
+{
+       return fairness[id_to_int(tid)].priority;
+}
+
 /**
  * Add an action to the may_read_from set.
  * @param act is the action to add

diff --git a/nodestack.h b/nodestack.h
index 8df67838c87c362518bdd3100bddcd4663254475..421890f4f998c57d3ce4364263c0adaa631ad36c 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -64,7 +64,7 @@ public:
        bool is_enabled(Thread *t);
        bool is_enabled(thread_id_t tid);
        ModelAction * get_action() { return action; }
-       bool has_priority(thread_id_t tid) {return fairness[id_to_int(tid)].priority;}
+       bool has_priority(thread_id_t tid);
        int get_num_threads() {return num_threads;}
        /** @return the parent Node to this Node; that is, the action that
         * occurred previously in the stack. */