Browse Source

Fixed usage of storm namespace

refactoring
Matthias Volk 8 years ago
parent
commit
c896e6a3ee
  1. 6
      src/storage/model.cpp

6
src/storage/model.cpp

@ -17,7 +17,7 @@ template<typename ValueType> using Dtmc = storm::models::sparse::Dtmc<ValueType>
template<typename ValueType> using Mdp = storm::models::sparse::Mdp<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 Model = storm::models::sparse::Model<ValueType>;
template<typename ValueType> using SparseMatrix = storm::storage::SparseMatrix<ValueType>; template<typename ValueType> using SparseMatrix = storm::storage::SparseMatrix<ValueType>;
using RationalFunction = RationalFunction;
using RationalFunction = storm::RationalFunction;
// Thin wrapper for getting initial states // Thin wrapper for getting initial states
template<typename ValueType> template<typename ValueType>
@ -36,11 +36,11 @@ SparseMatrix<ValueType>& getTransitionMatrix(Model<ValueType>& model) {
} }
// requires pycarl.Variable // requires pycarl.Variable
std::set<RationalFunctionVariable> probabilityVariables(Model<RationalFunction> const& model) {
std::set<storm::RationalFunctionVariable> probabilityVariables(Model<RationalFunction> const& model) {
return storm::models::sparse::getProbabilityParameters(model); return storm::models::sparse::getProbabilityParameters(model);
} }
std::set<RationalFunctionVariable> rewardVariables(Model<RationalFunction> const& model) {
std::set<storm::RationalFunctionVariable> rewardVariables(Model<RationalFunction> const& model) {
return storm::models::sparse::getRewardParameters(model); return storm::models::sparse::getRewardParameters(model);
} }

Loading…
Cancel
Save