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 > >	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)

Function Documentation

buildModelFromComponents() [1/6]

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/6]

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/6]

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/6]

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/6]

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() [6/6]

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 19 of file builder.cpp.