From 9f3fff18f29d250745a758d13e4c4d39f59bee9c Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 9 Jul 2012 18:42:28 +1000
Subject: Few quick logging changes, just for fun.

---
 impl/ImprovementOperator.hpp | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'impl/ImprovementOperator.hpp')

diff --git a/impl/ImprovementOperator.hpp b/impl/ImprovementOperator.hpp
index d99ccbc..e70b5af 100644
--- a/impl/ImprovementOperator.hpp
+++ b/impl/ImprovementOperator.hpp
@@ -224,18 +224,21 @@ struct SmartImprovementOperator : public ImprovementOperator<Domain> {
       stableSet = invalidSet.inverse();
     }
 
+    log::strategy << std::endl;
     log::strategy << "stable: " << stableSet << std::endl;
     log::strategy << "infl: " << _influence << std::endl;
     DynamicMaxStrategy strat(_system, stratOut, _influence, rho, stableSet, changedSet);
     log::strategy << "invalid: " << invalidSet << std::endl;
+    log::strategy << "==================" << std::endl;
     for (auto it = invalidSet.begin(),
            end = invalidSet.end();
          it != end;
          ++it) {
+      auto expr = _system.maxExpression(*it);
       unsigned int subExpression = strat.get(_system.maxExpression(*it));
-      log::strategy << _system.maxExpression(*it)
-                    << " -> "
-                    << subExpression << std::endl;
+      log::strategy << expr
+                    << " --[" << subExpression << "]-> "
+                    << *expr.arguments()[subExpression] << std::endl;
     }
     log::strategy << std::endl;
     IdSet<MaxExpression<Domain>> seen;
-- 
cgit v1.2.3