X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.cc;h=10f7a72b5ef3ff5705fdbe29771def18212ecf11;hb=b81be9611238c9485f1912fa1e9cab26b5df6fb6;hp=d3b7c104316161d0268c8ae1b2db7a116fbbac74;hpb=cad3394ea130ccd3458f12014b77c115739048e4;p=model-checker.git

diff --git a/nodestack.cc b/nodestack.cc
index d3b7c10..10f7a72 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -46,6 +46,14 @@ void Node::print()
 		printf("******** empty action ********\n");
 }
 
+/** @brief Prints info about may_read_from set */
+void Node::print_may_read_from()
+{
+	readfrom_set_t::iterator it;
+	for (it = may_read_from.begin(); it != may_read_from.end(); it++)
+		(*it)->print();
+}
+
 /**
  * Checks if the Thread associated with this thread ID has been explored from
  * this Node already.
@@ -117,9 +125,9 @@ bool Node::is_enabled(Thread *t)
  * Add an action to the may_read_from set.
  * @param act is the action to add
  */
-void Node::add_read_from(ModelAction *act)
+void Node::add_read_from(const ModelAction *act)
 {
-	may_read_from.insert(act);
+	may_read_from.push_back(act);
 }
 
 void Node::explore(thread_id_t tid)