From 5dd4bdbfc68f11328b8d76f6a6cf963c4667b2c2 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 18 Aug 2017 18:25:36 +0200 Subject: [PATCH] fixed ambiguous memory labeling --- .../rewardbounded/MultiDimensionalRewardUnfolding.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp b/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp index c30fce937..18b4cac96 100644 --- a/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp +++ b/src/storm/modelchecker/multiobjective/rewardbounded/MultiDimensionalRewardUnfolding.cpp @@ -45,7 +45,7 @@ namespace storm { auto const& boundedUntilFormula = subformula->asBoundedUntilFormula(); for (uint64_t dim = 0; dim < boundedUntilFormula.getDimension(); ++dim) { subObjectives.push_back(std::make_pair(boundedUntilFormula.restrictToDimension(dim), objIndex)); - std::string memLabel = "obj" + std::to_string(objIndex) + "-" + std::to_string(dim) + "_maybe"; + std::string memLabel = "dim" + std::to_string(subObjectives.size()) + "_maybe"; while (model.getStateLabeling().containsLabel(memLabel)) { memLabel = "_" + memLabel; }