DirectEncodingExporter.cpp File Reference

#include "storm/io/DirectEncodingExporter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/exceptions/NotImplementedException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/models/sparse/Ctmc.h"
#include "storm/models/sparse/Dtmc.h"
#include "storm/models/sparse/MarkovAutomaton.h"
#include "storm/models/sparse/Mdp.h"
#include "storm/models/sparse/Pomdp.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"

Include dependency graph for DirectEncodingExporter.cpp:

Go to the source code of this file.

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<>
std::vector< std::string >	storm::io::getParameters (std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > > sparseModel)
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.
void	storm::io::createPlaceholder (std::unordered_map< storm::RationalFunction, std::string > &placeholders, storm::RationalFunction const &value, size_t &i)
	Helper function to create a possible placeholder.
template<>
std::unordered_map< storm::RationalFunction, std::string >	storm::io::generatePlaceholders (std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > > sparseModel, std::vector< storm::RationalFunction > exitRates)
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.
template void	storm::io::explicitExportSparseModel< double > (std::ostream &os, std::shared_ptr< storm::models::sparse::Model< double > > sparseModel, std::vector< std::string > const &parameters, DirectEncodingOptions const &options)
template void	storm::io::explicitExportSparseModel< storm::RationalNumber > (std::ostream &os, std::shared_ptr< storm::models::sparse::Model< storm::RationalNumber > > sparseModel, std::vector< std::string > const &parameters, DirectEncodingOptions const &options)
template void	storm::io::explicitExportSparseModel< storm::RationalFunction > (std::ostream &os, std::shared_ptr< storm::models::sparse::Model< storm::RationalFunction > > sparseModel, std::vector< std::string > const &parameters, DirectEncodingOptions const &options)
template void	storm::io::explicitExportSparseModel< storm::Interval > (std::ostream &os, std::shared_ptr< storm::models::sparse::Model< storm::Interval > > sparseModel, std::vector< std::string > const &parameters, DirectEncodingOptions const &options)