diff options
Diffstat (limited to 'impl/MaxStrategy.hpp')
| -rw-r--r-- | impl/MaxStrategy.hpp | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/impl/MaxStrategy.hpp b/impl/MaxStrategy.hpp index e52fd99..f4e4055 100644 --- a/impl/MaxStrategy.hpp +++ b/impl/MaxStrategy.hpp @@ -1,6 +1,7 @@ #ifndef MAX_STRATEGY_HPP #define MAX_STRATEGY_HPP +#include <iostream> #include "Expression.hpp" #include "EquationSystem.hpp" #include "VariableAssignment.hpp" @@ -69,7 +70,12 @@ struct MaxStrategy { if (best.first > oldValue) newStrategy[*expr] = best.second; } - std::cout << "Strat improvement: " << newStrategy[*s.getMax(0)] << std::endl; + std::cerr << "Strat improvement: "; + if (_length > 0) + std::cerr << newStrategy[*s.getMax(0)]; + else + std::cerr << "no max expressions"; + std::cerr << std::endl; return newStrategy; } |