diff --git a/src/adapters/ExplicitModelAdapter.h b/src/adapters/ExplicitModelAdapter.h index 1c2d9365e..b05acaff6 100644 --- a/src/adapters/ExplicitModelAdapter.h +++ b/src/adapters/ExplicitModelAdapter.h @@ -52,12 +52,14 @@ public: class ExplicitModelAdapter { public: + ExplicitModelAdapter(storm::ir::Program const& program) : program(program) + template std::shared_ptr> toSparseMatrix(storm::ir::Program const& program) { LOG4CPLUS_INFO(logger, "Creating sparse matrix for probabilistic program."); this->computeReachableStateSpace(program); - + this->buildMatrix(program) std::shared_ptr> resultMatrix(new storm::storage::SparseMatrix(allStates.size())); @@ -279,6 +281,7 @@ private: } } + storm::ir::Program const& program; std::vector allStates; uint_fast64_t numberOfTransitions; std::vector numbersOfNondeterministicChoices;