DirectEncodingExporter.h File Reference

#include <filesystem>
#include <iostream>
#include <memory>
#include "storm/io/DirectEncodingExporterOptions.h"
#include "storm/models/sparse/Model.h"

Include dependency graph for DirectEncodingExporter.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::io

Functions
template<typename ValueType >
void	storm::io::explicitExportSparseModel (std::filesystem::path const &filename, std::shared_ptr< storm::models::sparse::Model< ValueType > > sparseModel, std::vector< std::string > const &parameters, DirectEncodingExporterOptions const &options=DirectEncodingExporterOptions())
	Exports a sparse model into the explicit DRN format.
template<typename ValueType >
void	storm::io::explicitExportSparseModel (std::ostream &os, std::shared_ptr< storm::models::sparse::Model< ValueType > > sparseModel, std::vector< std::string > const &parameters, DirectEncodingExporterOptions const &options=DirectEncodingExporterOptions())
	Exports a sparse model into the explicit DRN format.
template<typename ValueType >
std::vector< std::string >	storm::io::getParameters (std::shared_ptr< storm::models::sparse::Model< ValueType > > sparseModel)
	Accumulate parameters in the model.
template<typename ValueType >
std::unordered_map< ValueType, std::string >	storm::io::generatePlaceholders (std::shared_ptr< storm::models::sparse::Model< ValueType > > sparseModel, std::vector< ValueType > exitRates)
	Generate placeholders for rational functions in the model.
template<typename ValueType >
void	storm::io::writeValue (std::ostream &os, ValueType value, std::unordered_map< ValueType, std::string > const &placeholders)
	Write value to stream while using the placeholders.