diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 18:42:28 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-07-09 18:42:28 +1000 |
commit | 9f3fff18f29d250745a758d13e4c4d39f59bee9c (patch) | |
tree | 3caae5a4b8edb970ebefbf6d489a4afc6e5a06a4 /impl/ImprovementOperator.hpp | |
parent | fcc8fc238754b6cf1bd7ac394de44ee30c50d6f7 (diff) |
Few quick logging changes, just for fun.
Diffstat (limited to 'impl/ImprovementOperator.hpp')
-rw-r--r-- | impl/ImprovementOperator.hpp | 9 |
1 files changed, 6 insertions, 3 deletions
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; |