nodestack: add print_may_read_from()

diff --git a/nodestack.cc b/nodestack.cc
index 13380325ecedb94e5561cda22a3b22d6b08433be..10f7a72b5ef3ff5705fdbe29771def18212ecf11 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -46,6 +46,14 @@ void Node::print()
                printf("******** empty action ********\n");
 }
 
                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.
 /**
  * Checks if the Thread associated with this thread ID has been explored from
  * this Node already.

diff --git a/nodestack.h b/nodestack.h
index 0e952417b16c87a484712a94de4953bebc984d96..c09b628b4ffc9a8f91a7997f628f3234c1e6b7df 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -46,6 +46,7 @@ public:
        void add_read_from(const ModelAction *act);
 
        void print();
        void add_read_from(const ModelAction *act);
 
        void print();

+       void print_may_read_from();

 
        MEMALLOC
 private:
 
        MEMALLOC
 private: