DftJsonExporter.h

Go to the documentation of this file.

#pragma once
 
#include "storm-dft/storage/DFT.h"
#include "storm/adapters/JsonForward.h"
 
namespace storm::dft {
namespace storage {
 
template<typename ValueType>
class DftJsonExporter {
    typedef typename storm::json<double> Json;
 
    using DFTElementCPointer = std::shared_ptr<storm::dft::storage::elements::DFTElement<ValueType> const>;
    using DFTBECPointer = std::shared_ptr<storm::dft::storage::elements::DFTBE<ValueType> const>;
 
   public:
    static void toFile(storm::dft::storage::DFT<ValueType> const& dft, std::string const& filepath);
 
    static void toStream(storm::dft::storage::DFT<ValueType> const& dft, std::ostream& os);
 
   private:
    static Json translate(storm::dft::storage::DFT<ValueType> const& dft);
 
    static Json translateElement(DFTElementCPointer element);
 
    static Json translateBE(DFTBECPointer element, Json nodeData);
 
    static Json translateParameters(storm::dft::storage::DFT<ValueType> const& dft);
};
 
}  // namespace storage
}  // namespace storm::dft