computeLongRunAverageValues is now virtual

in SparseInfiniteHorizonHelper, since SparseNondeterministicGameInfiniteHorizonHelper needs to overwrite it.
4 years ago · f72f83f23e
1 changed files with 2 additions and 2 deletions
--- a/src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h
+++ b/src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h
@ -93,7 +93,7 @@ namespace storm {
                 * @param actionValuesGetter a function returning a value for a given (global) choice index
                 * @return a value for each state
                 */
-                std::vector<ValueType> computeLongRunAverageValues(Environment const& env, ValueGetter const& stateValuesGetter,  ValueGetter const& actionValuesGetter);
+                virtual std::vector<ValueType> computeLongRunAverageValues(Environment const& env, ValueGetter const& stateValuesGetter,  ValueGetter const& actionValuesGetter);

                /*!
                 * @param stateValuesGetter a function returning a value for a given state index