io.cpp File Reference

#include "io.h"
#include <memory>
#include "storm-dft/modelchecker/DFTASFChecker.h"
#include "storm-dft/parser/DFTGalileoParser.h"
#include "storm-dft/parser/DFTJsonParser.h"
#include "storm-dft/storage/DftJsonExporter.h"

Include dependency graph for io.cpp:

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<>
void	storm::dft::api::exportDFTToSMT (storm::dft::storage::DFT< double > const &dft, std::string const &file)
template<>
void	storm::dft::api::exportDFTToSMT (storm::dft::storage::DFT< storm::RationalFunction > const &dft, std::string const &file)
template std::shared_ptr< storm::dft::storage::DFT< double > >	storm::dft::api::loadDFTGalileoFile (std::string const &)
template std::shared_ptr< storm::dft::storage::DFT< double > >	storm::dft::api::loadDFTJsonString (std::string const &)
template std::shared_ptr< storm::dft::storage::DFT< double > >	storm::dft::api::loadDFTJsonFile (std::string const &)
template void	storm::dft::api::exportDFTToJsonFile (storm::dft::storage::DFT< double > const &, std::string const &)
template std::string	storm::dft::api::exportDFTToJsonString (storm::dft::storage::DFT< double > const &)
template void	storm::dft::api::exportDFTToJsonFile (storm::dft::storage::DFT< storm::RationalFunction > const &, std::string const &)
template std::string	storm::dft::api::exportDFTToJsonString (storm::dft::storage::DFT< storm::RationalFunction > const &)