Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DDEncodingExporter.h
Go to the documentation of this file.
1#pragma once
2
3#include "storm/models/symbolic/Model.h"
4
5namespace storm {
6namespace io {
7
14template<storm::dd::DdType Type, typename ValueType>
15void explicitExportSymbolicModel(std::string const& filename, std::shared_ptr<storm::models::symbolic::Model<Type, ValueType>> symbolicModel);
16
17} // namespace io
18} // namespace storm
storm::models::symbolic::Model
Base class for all symbolic models.
Definition Model.h:46
storm::io::explicitExportSymbolicModel
void explicitExportSymbolicModel(std::string const &filename, std::shared_ptr< storm::models::symbolic::Model< Type, ValueType > > symbolicModel)
Exports a sparse model into the explicit drdd format.
Definition DDEncodingExporter.cpp:10
storm
LabParser.cpp.
Definition cli.cpp:18