Fixed output of TotalRewardFormulae with non-trivial reward accumulation.

6 years ago · fd2e4efc0b
1 changed files with 3 additions and 0 deletions
--- a/src/storm/logic/TotalRewardFormula.cpp
+++ b/src/storm/logic/TotalRewardFormula.cpp
@ -30,6 +30,9 @@ namespace storm {

        std::ostream& TotalRewardFormula::writeToStream(std::ostream& out) const {
            out << "C";
+            if (hasRewardAccumulation()) {
+                out << "[" << getRewardAccumulation() << "]";
+            }
            return out;
        }
    }