DirectEncodingExporter.h File Reference

#include <iostream>
#include <memory>
#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.

Classes
struct	storm::io::DirectEncodingOptions

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::io

Functions
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, DirectEncodingOptions const &options=DirectEncodingOptions())
	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.