From 414b2df02223c9109c53228f905cea524a346cbf Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 3 Oct 2012 13:50:51 -0700 Subject: [PATCH] nodestack: move has_priority() out of header --- nodestack.cc | 5 +++++ nodestack.h | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/nodestack.cc b/nodestack.cc index d5425e3..c6ca076 100644 --- 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 8df6783..421890f 100644 --- 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. */ -- 2.34.1