SubsystemBuilder.cpp File Reference

#include "storm/transformer/SubsystemBuilder.h"
#include <boost/optional.hpp>
#include "storm/adapters/IntervalAdapter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/exceptions/UnexpectedException.h"
#include "storm/models/sparse/Ctmc.h"
#include "storm/models/sparse/MarkovAutomaton.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/storage/sparse/ModelComponents.h"
#include "storm/utility/builder.h"
#include "storm/utility/graph.h"
#include "storm/utility/macros.h"
#include "storm/utility/vector.h"

Include dependency graph for SubsystemBuilder.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::transformer

Functions
template<typename ValueType, typename RewardModelType>
void	storm::transformer::transformModelSpecificComponents (storm::models::sparse::Model< ValueType, RewardModelType > const &originalModel, storm::storage::BitVector const &subsystem, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &components)
template<typename RewardModelType>
RewardModelType	storm::transformer::transformRewardModel (RewardModelType const &originalRewardModel, storm::storage::BitVector const &subsystem, storm::storage::BitVector const &subsystemActions, bool makeRowGroupingTrivial)
template<typename ValueType, typename RewardModelType>
SubsystemBuilderReturnType< ValueType, RewardModelType >	storm::transformer::internalBuildSubsystem (storm::models::sparse::Model< ValueType, RewardModelType > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, SubsystemBuilderOptions const &options)
template<typename ValueType, typename RewardModelType>
SubsystemBuilderReturnType< ValueType, RewardModelType >	storm::transformer::buildSubsystem (storm::models::sparse::Model< ValueType, RewardModelType > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates, SubsystemBuilderOptions options)
template SubsystemBuilderReturnType< double >	storm::transformer::buildSubsystem (storm::models::sparse::Model< double > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())
template SubsystemBuilderReturnType< double, storm::models::sparse::StandardRewardModel< storm::Interval > >	storm::transformer::buildSubsystem (storm::models::sparse::Model< double, storm::models::sparse::StandardRewardModel< storm::Interval > > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())
template SubsystemBuilderReturnType< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > >	storm::transformer::buildSubsystem (storm::models::sparse::Model< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())
template SubsystemBuilderReturnType< storm::RationalNumber >	storm::transformer::buildSubsystem (storm::models::sparse::Model< storm::RationalNumber > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())
template SubsystemBuilderReturnType< storm::RationalFunction >	storm::transformer::buildSubsystem (storm::models::sparse::Model< storm::RationalFunction > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())
template SubsystemBuilderReturnType< storm::Interval >	storm::transformer::buildSubsystem (storm::models::sparse::Model< storm::Interval > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())
template SubsystemBuilderReturnType< storm::RationalInterval >	storm::transformer::buildSubsystem (storm::models::sparse::Model< storm::RationalInterval > const &originalModel, storm::storage::BitVector const &subsystemStates, storm::storage::BitVector const &subsystemActions, bool keepUnreachableStates=true, SubsystemBuilderOptions options=SubsystemBuilderOptions())