From c70b5bf7e6a16f613b86d86a708b98adbf18b167 Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Wed, 5 Apr 2017 16:13:10 +0200
Subject: [PATCH] add missing namespace alias in model.cpp

---
 src/storage/model.cpp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/storage/model.cpp b/src/storage/model.cpp
index 41b4610..eada29d 100644
--- a/src/storage/model.cpp
+++ b/src/storage/model.cpp
@@ -13,11 +13,12 @@
 
 using ModelBase = storm::models::ModelBase;
 using state_type = storm::storage::sparse::state_type;
+using RationalFunction = storm::RationalFunction;
+using RationalFunctionVariable = storm::RationalFunctionVariable;
+template<typename ValueType> using Model = storm::models::sparse::Model<ValueType>;
 template<typename ValueType> using Dtmc = storm::models::sparse::Dtmc<ValueType>;
 template<typename ValueType> using Mdp = storm::models::sparse::Mdp<ValueType>;
-template<typename ValueType> using Model = storm::models::sparse::Model<ValueType>;
 template<typename ValueType> using SparseMatrix = storm::storage::SparseMatrix<ValueType>;
-using RationalFunction = storm::RationalFunction;
 
 // Thin wrapper for getting initial states
 template<typename ValueType>
@@ -36,11 +37,11 @@ SparseMatrix<ValueType>& getTransitionMatrix(Model<ValueType>& model) {
 }
 
 // requires pycarl.Variable
-std::set<storm::RationalFunctionVariable> probabilityVariables(Model<RationalFunction> const& model) {
+std::set<RationalFunctionVariable> probabilityVariables(Model<RationalFunction> const& model) {
     return storm::models::sparse::getProbabilityParameters(model);
 }
 
-std::set<storm::RationalFunctionVariable> rewardVariables(Model<RationalFunction> const& model) {
+std::set<RationalFunctionVariable> rewardVariables(Model<RationalFunction> const& model) {
     return storm::models::sparse::getRewardParameters(model);
 }