From e75fd74c32edc9bd78760a06ee80e247415834f5 Mon Sep 17 00:00:00 2001 From: Tom Janson Date: Mon, 2 Jan 2017 17:05:34 +0100 Subject: [PATCH] ksp: cosmetics --- src/utility/shortestPaths.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/utility/shortestPaths.cpp b/src/utility/shortestPaths.cpp index dd76f11..10fefed 100644 --- a/src/utility/shortestPaths.cpp +++ b/src/utility/shortestPaths.cpp @@ -17,14 +17,14 @@ void define_ksp(py::module& m) { // this could be templated rather than hardcoding double, but the actual // bindings must refer to instantiated versions anyway (i.e., overloaded // for each template instantiation) -- and double is enough for me - using Model = storm::models::sparse::Model; using BitVector = storm::storage::BitVector; - using Matrix = storm::storage::SparseMatrix; using MatrixFormat = storm::utility::ksp::MatrixFormat; using Path = storm::utility::ksp::Path; using ShortestPathsGenerator = storm::utility::ksp::ShortestPathsGenerator; using state_t = storm::utility::ksp::state_t; - using StateProbMap = std::unordered_map; + using Matrix = ShortestPathsGenerator::Matrix; + using Model = ShortestPathsGenerator::Model; + using StateProbMap = ShortestPathsGenerator::StateProbMap; py::class_(m, "Path") // overload constructor rather than dealing with boost::optional