From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Oct 2012 20:50:51 +0000 (-0700)
Subject: nodestack: move has_priority() out of header
X-Git-Tag: pldi2013~107^2~11
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=414b2df02223c9109c53228f905cea524a346cbf;ds=sidebyside

nodestack: move has_priority() out of header
---

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. */