Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SparseModelToUmb.h
Go to the documentation of this file.
1#pragma once
2
3#include <memory>
4
5#include "storm/models/sparse/ModelForward.h"
6#include "storm/storage/umb/export/ExportOptions.h"
7#include "storm/storage/umb/model/UmbModelForward.h"
8
9namespace storm::umb {
10template<typename ValueType>
11storm::umb::UmbModel sparseModelToUmb(storm::models::sparse::Model<ValueType> const& model, ExportOptions const& options);
12
13} // namespace storm::umb
storm::umb::sparseModelToUmb
storm::umb::UmbModel sparseModelToUmb(storm::models::sparse::Model< ValueType > const &model, ExportOptions const &options)
Definition SparseModelToUmb.cpp:471