diff options
Diffstat (limited to 'impl/VariableAssignment.hpp')
-rw-r--r-- | impl/VariableAssignment.hpp | 10 |
1 files changed, 6 insertions, 4 deletions
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; } } |