SparseModelFromUmb.h File Reference

#include <memory>
#include "storm/models/sparse/ModelForward.h"
#include "storm/storage/umb/import/ImportOptions.h"
#include "storm/storage/umb/model/UmbModelForward.h"

Include dependency graph for SparseModelFromUmb.h:

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

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::models
namespace	storm::umb

Functions
storm::models::ModelType	storm::umb::deriveModelType (storm::umb::ModelIndex const &index)
	Derives the model type from the given UMB model index.
template<typename ValueType>
bool	storm::umb::deriveValueType (storm::umb::ModelIndex const &index, ImportOptions const &options={})
	Returns true iff the given umb model with the given options should have ValueType as its ValueType.
template<typename ValueType>
std::shared_ptr< storm::models::sparse::Model< ValueType > >	storm::umb::sparseModelFromUmb (storm::umb::UmbModel const &umbModel, ImportOptions const &options={})
	Constructs a sparse model from the given UMB model.
std::shared_ptr< storm::models::ModelBase >	storm::umb::sparseModelFromUmb (storm::umb::UmbModel const &umbModel, ImportOptions const &options={})
	Constructs a sparse model from the given UMB model.