From c2138a8f1de257a3851ecd7f923479875a4c20ee Mon Sep 17 00:00:00 2001 From: sjunges <sebastian.junges@rwth-aachen.de> Date: Tue, 26 Jan 2016 21:21:42 +0100 Subject: [PATCH] no, thou shall not check how stupid i've been here Former-commit-id: e241a6976e2aaefa7e8d4aa978d5e0c83e8b2568 --- src/utility/storm.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/utility/storm.h b/src/utility/storm.h index bac80573f..3ca286918 100644 --- a/src/utility/storm.h +++ b/src/utility/storm.h @@ -183,14 +183,14 @@ namespace storm { return performNondeterministicSparseBisimulationMinimization<storm::models::sparse::Mdp<ValueType>>(model->template as<storm::models::sparse::Mdp<ValueType>>(), formulas, type); } } - + template<typename ModelType> std::shared_ptr<storm::models::sparse::Model<typename ModelType::ValueType>> performBisimulationMinimization(std::shared_ptr<storm::models::sparse::Model<typename ModelType::ValueType>> const& model, std::shared_ptr<storm::logic::Formula> const& formula, storm::storage::BisimulationType type) { - return performBisimulationMinimization<ModelType>(model, {formula}, type); + std::vector<std::shared_ptr<storm::logic::Formula>> formulas = { formula }; + return performBisimulationMinimization<ModelType>(model, formulas , type); } - template<typename ModelType> std::shared_ptr<storm::models::ModelBase> preprocessModel(std::shared_ptr<storm::models::ModelBase> model, std::vector<std::shared_ptr<storm::logic::Formula>> const& formulas) { if (model->isSparseModel() && storm::settings::generalSettings().isBisimulationSet()) {