|
@ -287,15 +287,6 @@ namespace storm { |
|
|
template<typename MatrixValueType> |
|
|
template<typename MatrixValueType> |
|
|
storm::storage::BitVector getChoicesWithFilter(storm::storage::SparseMatrix<MatrixValueType> const& transitionMatrix, std::function<bool(ValueType const&)> const& filter) const; |
|
|
storm::storage::BitVector getChoicesWithFilter(storm::storage::SparseMatrix<MatrixValueType> const& transitionMatrix, std::function<bool(ValueType const&)> const& filter) const; |
|
|
|
|
|
|
|
|
/*! |
|
|
|
|
|
* Sets the given value in the state-action reward vector at the given row. This assumes that the reward |
|
|
|
|
|
* model has state-action rewards. |
|
|
|
|
|
* |
|
|
|
|
|
* @param row The row at which to set the given value. |
|
|
|
|
|
* @param value The value to set. |
|
|
|
|
|
*/ |
|
|
|
|
|
void setStateActionRewardValue(uint_fast64_t row, ValueType const& value); |
|
|
|
|
|
|
|
|
|
|
|
/*! |
|
|
/*! |
|
|
* Retrieves whether the reward model is empty, i.e. contains no state-, state-action- or transition-based |
|
|
* Retrieves whether the reward model is empty, i.e. contains no state-, state-action- or transition-based |
|
|
* rewards. |
|
|
* rewards. |
|
|