TransitionToActionRewardTransformer.cpp File Reference

#include "storm/transformer/TransitionToActionRewardTransformer.h"
#include "storm/adapters/IntervalAdapter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/models/sparse/MarkovAutomaton.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/storage/sparse/ModelComponents.h"
#include "storm/utility/OptionalRef.h"
#include "storm/utility/builder.h"
#include "storm/utility/macros.h"
#include "storm/utility/vector.h"

Include dependency graph for TransitionToActionRewardTransformer.cpp:

Go to the source code of this file.

Classes
class	storm::transformer::detail::RewardTransitionIterator< ValueType, RewardModelType >

Namespaces
namespace	storm
namespace	storm::transformer
namespace	storm::transformer::detail

Typedefs
template<typename RewardValueType>
using	storm::transformer::detail::MultiRewardVector = std::vector<RewardValueType>

Functions
template<typename ValueType, typename RewardModelType>
TransitionToActionRewardTransformerReturnType< ValueType, RewardModelType >	storm::transformer::transformTransitionToActionRewards (std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
	Replaces transition branch rewards from all given reward models and replaces them by equivalent state-action based rewards.
template TransitionToActionRewardTransformerReturnType< double >	storm::transformer::transformTransitionToActionRewards< double, storm::models::sparse::StandardRewardModel< double > > (std::shared_ptr< storm::models::sparse::Model< double > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
template TransitionToActionRewardTransformerReturnType< storm::RationalNumber >	storm::transformer::transformTransitionToActionRewards< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalNumber > > (std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
template TransitionToActionRewardTransformerReturnType< storm::RationalFunction >	storm::transformer::transformTransitionToActionRewards< storm::RationalFunction, storm::models::sparse::StandardRewardModel< storm::RationalFunction > > (std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
template TransitionToActionRewardTransformerReturnType< storm::Interval >	storm::transformer::transformTransitionToActionRewards< storm::Interval, storm::models::sparse::StandardRewardModel< storm::Interval > > (std::shared_ptr< storm::models::sparse::Model< storm::Interval > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
template TransitionToActionRewardTransformerReturnType< storm::RationalInterval >	storm::transformer::transformTransitionToActionRewards< storm::RationalInterval, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > (std::shared_ptr< storm::models::sparse::Model< storm::RationalInterval > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
template TransitionToActionRewardTransformerReturnType< double, storm::models::sparse::StandardRewardModel< storm::Interval > >	storm::transformer::transformTransitionToActionRewards< double, storm::models::sparse::StandardRewardModel< storm::Interval > > (std::shared_ptr< storm::models::sparse::Model< double, storm::models::sparse::StandardRewardModel< storm::Interval > > > originalModel, std::vector< std::string > const &relevantRewardModelNames)
template TransitionToActionRewardTransformerReturnType< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > >	storm::transformer::transformTransitionToActionRewards< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > (std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > > originalModel, std::vector< std::string > const &relevantRewardModelNames)