storm::utility::builder Namespace Reference

Functions
template<typename ValueType, typename RewardModelType>
std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components)
template std::shared_ptr< storm::models::sparse::Model< double > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< double > &&components)
template std::shared_ptr< storm::models::sparse::Model< double, storm::models::sparse::StandardRewardModel< storm::Interval > > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< double, storm::models::sparse::StandardRewardModel< storm::Interval > > &&components)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > &&components)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< storm::RationalNumber > &&components)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< storm::RationalFunction > &&components)
template std::shared_ptr< storm::models::sparse::Model< storm::Interval > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< storm::Interval > &&components)
template std::shared_ptr< storm::models::sparse::Model< storm::RationalInterval > >	buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< storm::RationalInterval > &&components)

Function Documentation

buildModelFromComponents() [1/8]

template std::shared_ptr< storm::models::sparse::Model< double > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< double > &&	components )

buildModelFromComponents() [2/8]

template std::shared_ptr< storm::models::sparse::Model< double, storm::models::sparse::StandardRewardModel< storm::Interval > > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< double, storm::models::sparse::StandardRewardModel< storm::Interval > > &&	components )

buildModelFromComponents() [3/8]

template std::shared_ptr< storm::models::sparse::Model< storm::Interval > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< storm::Interval > &&	components )

buildModelFromComponents() [4/8]

template std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< storm::RationalFunction > &&	components )

buildModelFromComponents() [5/8]

template std::shared_ptr< storm::models::sparse::Model< storm::RationalInterval > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< storm::RationalInterval > &&	components )

buildModelFromComponents() [6/8]

template std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< storm::RationalNumber > &&	components )

buildModelFromComponents() [7/8]

template std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< storm::RationalNumber, storm::models::sparse::StandardRewardModel< storm::RationalInterval > > &&	components )

buildModelFromComponents() [8/8]

template<typename ValueType, typename RewardModelType>

std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > > storm::utility::builder::buildModelFromComponents	(	storm::models::ModelType	modelType,
		storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&	components )

Definition at line 20 of file builder.cpp.