From 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Wed, 5 Sep 2012 10:25:19 +1000
Subject: Delete a lot of tex stuff, better debug info

Some other stuff, too, I think. Oh well. No biggie!
---
 impl/VariableAssignment.hpp | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'impl/VariableAssignment.hpp')

diff --git a/impl/VariableAssignment.hpp b/impl/VariableAssignment.hpp
index ead7c67..371ba56 100644
--- a/impl/VariableAssignment.hpp
+++ b/impl/VariableAssignment.hpp
@@ -34,7 +34,7 @@ struct DynamicVariableAssignment : public VariableAssignment<Domain> {
   }
 
   void invalidate(const Variable<Domain>& x) const {
-    log::fixpoint << "\tInvalidating " << x << std::endl;
+    log::fixpoint << indent() << "Invalidating " << x << std::endl;
     _stable.remove(x);
     _values[x] = infinity<Domain>();
   }
@@ -44,10 +44,12 @@ private:
   void solve(const Variable<Domain>& x) const {
     if (!_stable.contains(x)) {
       _stable.insert(x);
-      log::fixpoint << "\tStabilise " << x << std::endl;
+      log::fixpoint << indent() << "Stabilise " << x << std::endl;
 
+      stack_depth++;
       Domain val = _system[x]->eval(DependencyAssignment(*this, x),
                                     _strategy);
+      stack_depth--;
 
       if (val != _values[x]) {
         log::fixpoint << x << " = " << val << std::endl;
@@ -66,10 +68,10 @@ private:
           solve(_system.variable(*it));
         }
       } else {
-        log::fixpoint << "\t" << x << " did not change" << std::endl;
+        log::fixpoint << indent() << x << " did not change" << std::endl;
       }
     } else {
-      log::fixpoint << "\t" << x << " is stable" << std::endl;
+      log::fixpoint << indent() << x << " is stable" << std::endl;
     }
   }
 
-- 
cgit v1.2.3