builder.cpp File Reference

#include "storm/utility/builder.h"
#include "storm/models/sparse/StochasticTwoPlayerGame.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/models/sparse/Ctmc.h"
#include "storm/models/sparse/Dtmc.h"
#include "storm/models/sparse/MarkovAutomaton.h"
#include "storm/models/sparse/Mdp.h"
#include "storm/models/sparse/Pomdp.h"
#include "storm/models/sparse/Smg.h"
#include "storm/exceptions/InvalidModelException.h"

Include dependency graph for builder.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::utility
namespace	storm::utility::builder

Functions
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)
template std::shared_ptr< storm::models::sparse::Model< double > >	storm::utility::builder::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 > > >	storm::utility::builder::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::utility::builder::buildModelFromComponents (storm::models::ModelType modelType, storm::storage::sparse::ModelComponents< storm::RationalNumber > &&components)
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)
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)