From 14ab06fbae6ba7a805212e2a248ce3c8c5115085 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Tue, 22 Dec 2020 16:34:00 +0100 Subject: [PATCH] computeLongRunAverageValues is now virtual in SparseInfiniteHorizonHelper, since SparseNondeterministicGameInfiniteHorizonHelper needs to overwrite it. --- .../helper/infinitehorizon/SparseInfiniteHorizonHelper.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h b/src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h index 6630dd5ad..5b8ed6419 100644 --- a/src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h +++ b/src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h @@ -93,8 +93,8 @@ namespace storm { * @param actionValuesGetter a function returning a value for a given (global) choice index * @return a value for each state */ - std::vector computeLongRunAverageValues(Environment const& env, ValueGetter const& stateValuesGetter, ValueGetter const& actionValuesGetter); - + virtual std::vector computeLongRunAverageValues(Environment const& env, ValueGetter const& stateValuesGetter, ValueGetter const& actionValuesGetter); + /*! * @param stateValuesGetter a function returning a value for a given state index * @param actionValuesGetter a function returning a value for a given (global) choice index