StandardRewardModel.cpp File Reference

#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/adapters/IntervalAdapter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/storage/SparseMatrixOperations.h"
#include "storm/utility/rationalfunction.h"
#include "storm/utility/vector.h"

Include dependency graph for StandardRewardModel.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::models
namespace	storm::models::sparse

Functions
template<typename ValueType>
bool	storm::models::sparse::anyOfRewardValues (StandardRewardModel< ValueType > const &rewardModel, auto const &predicate)
	Auxiliary function to check if the given predicate is true for any of the reward values in the given reward model.
template<typename ValueType>
std::ostream &	storm::models::sparse::operator<< (std::ostream &out, StandardRewardModel< ValueType > const &rewardModel)
std::set< storm::RationalFunctionVariable >	storm::models::sparse::getRewardModelParameters (StandardRewardModel< storm::RationalFunction > const &rewModel)
template std::ostream &	storm::models::sparse::operator<<< double > (std::ostream &out, StandardRewardModel< double > const &rewardModel)
template std::ostream &	storm::models::sparse::operator<<< storm::RationalNumber > (std::ostream &out, StandardRewardModel< storm::RationalNumber > const &rewardModel)
template std::ostream &	storm::models::sparse::operator<<< storm::RationalFunction > (std::ostream &out, StandardRewardModel< storm::RationalFunction > const &rewardModel)
template std::ostream &	storm::models::sparse::operator<<< storm::Interval > (std::ostream &out, StandardRewardModel< storm::Interval > const &rewardModel)
template std::ostream &	storm::models::sparse::operator<<< storm::RationalInterval > (std::ostream &out, StandardRewardModel< storm::RationalInterval > const &rewardModel)