Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
io.h
Go to the documentation of this file.
1#pragma once
2
3#include <string>
4
5#include "storm-dft/storage/DFT.h"
6
7namespace storm::dft {
8namespace api {
9
16template<typename ValueType>
17std::shared_ptr<storm::dft::storage::DFT<ValueType>> loadDFTGalileoFile(std::string const& file);
18
25template<typename ValueType>
26std::shared_ptr<storm::dft::storage::DFT<ValueType>> loadDFTJsonString(std::string const& jsonString);
27
34template<typename ValueType>
35std::shared_ptr<storm::dft::storage::DFT<ValueType>> loadDFTJsonFile(std::string const& file);
36
43template<typename ValueType>
44void exportDFTToJsonFile(storm::dft::storage::DFT<ValueType> const& dft, std::string const& file);
45
52template<typename ValueType>
53std::string exportDFTToJsonString(storm::dft::storage::DFT<ValueType> const& dft);
54
61template<typename ValueType>
62void exportDFTToSMT(storm::dft::storage::DFT<ValueType> const& dft, std::string const& file);
63
64} // namespace api
65} // namespace storm::dft
storm::dft::storage::DFT
Represents a Dynamic Fault Tree.
Definition DFT.h:49
storm::dft::api::exportDFTToJsonFile
void exportDFTToJsonFile(storm::dft::storage::DFT< ValueType > const &dft, std::string const &file)
Export DFT to JSON file.
Definition io.cpp:29
storm::dft::api::loadDFTGalileoFile
std::shared_ptr< storm::dft::storage::DFT< ValueType > > loadDFTGalileoFile(std::string const &file)
Load DFT from Galileo file.
Definition io.cpp:14
storm::dft::api::exportDFTToJsonString
std::string exportDFTToJsonString(storm::dft::storage::DFT< ValueType > const &dft)
Export DFT to JSON string.
Definition io.cpp:34
storm::dft::api::loadDFTJsonFile
std::shared_ptr< storm::dft::storage::DFT< ValueType > > loadDFTJsonFile(std::string const &file)
Load DFT from JSON file.
Definition io.cpp:24
storm::dft::api::loadDFTJsonString
std::shared_ptr< storm::dft::storage::DFT< ValueType > > loadDFTJsonString(std::string const &jsonString)
Load DFT from JSON string.
Definition io.cpp:19
storm::dft::api::exportDFTToSMT
void exportDFTToSMT(storm::dft::storage::DFT< double > const &dft, std::string const &file)
Definition io.cpp:41