From 2468de47f9f9d0e10a6e2a909dc727c8bf484ff4 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 3 Apr 2018 11:12:27 +0200 Subject: [PATCH] jani -- get expression manager signature now looks more like prism -- get (expression) manager --- src/storm/storage/jani/Model.cpp | 8 ++------ src/storm/storage/jani/Model.h | 7 +------ 2 files changed, 3 insertions(+), 12 deletions(-) diff --git a/src/storm/storage/jani/Model.cpp b/src/storm/storage/jani/Model.cpp index 7c0709516..da95f426f 100644 --- a/src/storm/storage/jani/Model.cpp +++ b/src/storm/storage/jani/Model.cpp @@ -689,14 +689,10 @@ namespace storm { return false; } - storm::expressions::ExpressionManager& Model::getExpressionManager() { + storm::expressions::ExpressionManager& Model::getExpressionManager() const { return *expressionManager; } - - storm::expressions::ExpressionManager const& Model::getExpressionManager() const { - return *expressionManager; - } - + uint64_t Model::addAutomaton(Automaton const& automaton) { auto it = automatonToIndex.find(automaton.getName()); STORM_LOG_THROW(it == automatonToIndex.end(), storm::exceptions::WrongFormatException, "Automaton with name '" << automaton.getName() << "' already exists."); diff --git a/src/storm/storage/jani/Model.h b/src/storm/storage/jani/Model.h index 0cfeb772e..2dc69d147 100644 --- a/src/storm/storage/jani/Model.h +++ b/src/storm/storage/jani/Model.h @@ -228,13 +228,8 @@ namespace storm { /*! * Retrieves the manager responsible for the expressions in the JANI model. */ - storm::expressions::ExpressionManager& getExpressionManager(); + storm::expressions::ExpressionManager& getExpressionManager() const; - /*! - * Retrieves the manager responsible for the expressions in the JANI model. - */ - storm::expressions::ExpressionManager const& getExpressionManager() const; - /*! * Adds the given automaton to the automata of this model. */