nodestack: print extra backtracking info

If we ever use the Node::print() method, print some extra info about
backtracking.

diff --git a/nodestack.cc b/nodestack.cc
index 58741f747b486addea103f6e695f7cb7dd425cd7..d144a9d5ef921564a9212dd639929ac345f4773e 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -90,9 +90,15 @@ Node::~Node()
 /** Prints debugging info for the ModelAction associated with this Node */
 void Node::print()
 {
-       if (action)
+       if (action) {
                action->print();
-       else
+               model_print("          backtrack: %s\n", backtrack_empty() ? "empty" : "non-empty");
+               model_print("          future values: %s\n", future_value_empty() ? "empty" : "non-empty");
+               model_print("          read-from: %s\n", read_from_empty() ? "empty" : "non-empty");
+               model_print("          promises: %s\n", promise_empty() ? "empty" : "non-empty");
+               model_print("          misc: %s\n", misc_empty() ? "empty" : "non-empty");
+               model_print("          rel seq break: %s\n", relseq_break_empty() ? "empty" : "non-empty");
+       } else
                model_print("******** empty action ********\n");
 }