Browse Source

computeLongRunAverageValues is now virtual

in SparseInfiniteHorizonHelper, since
SparseNondeterministicGameInfiniteHorizonHelper needs to overwrite it.
tempestpy_adaptions
Stefan Pranger 4 years ago
parent
commit
14ab06fbae
  1. 2
      src/storm/modelchecker/helper/infinitehorizon/SparseInfiniteHorizonHelper.h

2
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 * @param actionValuesGetter a function returning a value for a given (global) choice index
* @return a value for each state * @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 * @param stateValuesGetter a function returning a value for a given state index

Loading…
Cancel
Save