StandardRewardModel.cpp File Reference

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

Include dependency graph for StandardRewardModel.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
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)