de/de3/export_8cpp_source.html

#include "storm/api/export.h"

#include "storm/storage/jani/JaniLocationExpander.h"


namespace storm {

namespace api {


void exportJaniModelAsDot(storm::jani::Model const& model, std::string const& filename) {

    std::ofstream out;

    storm::io::openFile(filename, out);

    model.writeDotToStream(out);

    storm::io::closeFile(out);

}


}  // namespace api

}  // namespace storm

JaniLocationExpander.h

storm::jani::Model
Definition Model.h:35

storm::jani::Model::writeDotToStream
void writeDotToStream(std::ostream &outStream=std::cout) const
Definition Model.cpp:1638

storm::api::exportJaniModelAsDot
void exportJaniModelAsDot(storm::jani::Model const &model, std::string const &filename)
Definition export.cpp:7

storm::io::closeFile
void closeFile(std::ofstream &stream)
Close the given file after writing.
Definition file.h:47

storm::io::openFile
void openFile(std::string const &filepath, std::ofstream &filestream, bool append=false, bool silent=false)
Open the given file for writing.
Definition file.h:18

storm
LabParser.cpp.
Definition cli.cpp:18

export.h