builder.h File Reference

#include <memory>
#include "storm/models/ModelType.h"
#include "storm/models/sparse/Model.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/storage/sparse/ModelComponents.h"

Include dependency graph for builder.h:

This graph shows which files directly or indirectly include this file:

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)