From 3e4495cad0a9048f39236acc28ef80594ace4b86 Mon Sep 17 00:00:00 2001 From: David_Korzeniewski Date: Thu, 22 Jan 2015 18:58:24 +0100 Subject: [PATCH] small fixes Former-commit-id: 0d9cc58d7586987197463ab8c9b18de44d1411ad --- src/models/PseudoModel.h | 1 + ...ogicalValueIterationNondeterministicLinearEquationSolver.cpp | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/models/PseudoModel.h b/src/models/PseudoModel.h index 6d3fd38da..4738ec388 100644 --- a/src/models/PseudoModel.h +++ b/src/models/PseudoModel.h @@ -4,6 +4,7 @@ #include #include "src/storage/SparseMatrix.h" #include "src/storage/Decomposition.h" +#include "src/storage/StateBlock.h" namespace storm { namespace models { diff --git a/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp b/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp index 41d8d8156..3c9d8168e 100644 --- a/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp +++ b/src/solver/TopologicalValueIterationNondeterministicLinearEquationSolver.cpp @@ -35,7 +35,7 @@ namespace storm { //this->relative = !settings->isSet("absolute"); this->maximalNumberOfIterations = settings.getMaximalIterationCount(); this->precision = settings.getPrecision(); - this->relative = (settings.getConvergenceCriterion() == TopologicalValueIterationEquationSolverSettings::ConvergenceCriterion::Relative); + this->relative = (settings.getConvergenceCriterion() == storm::settings::modules::TopologicalValueIterationEquationSolverSettings::ConvergenceCriterion::Relative); } template