io.h File Reference

#include <string>
#include "storm-dft/storage/DFT.h"

Include dependency graph for io.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::dft
namespace	storm::dft::api

Functions
template<typename ValueType>
std::shared_ptr< storm::dft::storage::DFT< ValueType > >	storm::dft::api::loadDFTGalileoFile (std::string const &file)
	Load DFT from Galileo file.
template<typename ValueType>
std::shared_ptr< storm::dft::storage::DFT< ValueType > >	storm::dft::api::loadDFTJsonString (std::string const &jsonString)
	Load DFT from JSON string.
template<typename ValueType>
std::shared_ptr< storm::dft::storage::DFT< ValueType > >	storm::dft::api::loadDFTJsonFile (std::string const &file)
	Load DFT from JSON file.
template<typename ValueType>
void	storm::dft::api::exportDFTToJsonFile (storm::dft::storage::DFT< ValueType > const &dft, std::string const &file)
	Export DFT to JSON file.
template<typename ValueType>
std::string	storm::dft::api::exportDFTToJsonString (storm::dft::storage::DFT< ValueType > const &dft)
	Export DFT to JSON string.
template<typename ValueType>
void	storm::dft::api::exportDFTToSMT (storm::dft::storage::DFT< ValueType > const &dft, std::string const &file)
	Export DFT to SMT encoding.