SparseModelFromUmb.h

Go to the documentation of this file.

#pragma once
 
#include <memory>
#include "storm/models/sparse/ModelForward.h"
#include "storm/storage/umb/import/ImportOptions.h"
#include "storm/storage/umb/model/UmbModelForward.h"
 
namespace storm {
 
namespace models {
enum class ModelType;
class ModelBase;
}  // namespace models
 
namespace umb {

storm::models::ModelType deriveModelType(storm::umb::ModelIndex const& index);

template<typename ValueType>
bool deriveValueType(storm::umb::ModelIndex const& index, ImportOptions const& options = {});

template<typename ValueType>
std::shared_ptr<storm::models::sparse::Model<ValueType>> sparseModelFromUmb(storm::umb::UmbModel const& umbModel, ImportOptions const& options = {});

std::shared_ptr<storm::models::ModelBase> sparseModelFromUmb(storm::umb::UmbModel const& umbModel, ImportOptions const& options = {});
 
}  // namespace umb
}  // namespace storm