DDEncodingExporter.cpp File Reference

#include "storm/io/DDEncodingExporter.h"
#include "storm/io/file.h"
#include "storm/models/symbolic/StandardRewardModel.h"

Include dependency graph for DDEncodingExporter.cpp:

Go to the source code of this file.

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

Functions
template<storm::dd::DdType Type, typename ValueType >
void	storm::io::explicitExportSymbolicModel (std::string const &filename, std::shared_ptr< storm::models::symbolic::Model< Type, ValueType > > symbolicModel)
	Exports a sparse model into the explicit drdd format.
template void	storm::io::explicitExportSymbolicModel< storm::dd::DdType::CUDD, double > (std::string const &, std::shared_ptr< storm::models::symbolic::Model< storm::dd::DdType::CUDD, double > > sparseModel)
template void	storm::io::explicitExportSymbolicModel< storm::dd::DdType::Sylvan, double > (std::string const &, std::shared_ptr< storm::models::symbolic::Model< storm::dd::DdType::Sylvan, double > > sparseModel)
template void	storm::io::explicitExportSymbolicModel< storm::dd::DdType::Sylvan, storm::RationalNumber > (std::string const &, std::shared_ptr< storm::models::symbolic::Model< storm::dd::DdType::Sylvan, storm::RationalNumber > > sparseModel)
template void	storm::io::explicitExportSymbolicModel< storm::dd::DdType::Sylvan, storm::RationalFunction > (std::string const &, std::shared_ptr< storm::models::symbolic::Model< storm::dd::DdType::Sylvan, storm::RationalFunction > > sparseModel)