ModelExportFormat.h

Go to the documentation of this file.

#pragma once
 
#include <string>
 
namespace storm {
namespace io {
 
enum class ModelExportFormat { Dot, Drdd, Drn, Json };
 
ModelExportFormat getModelExportFormatFromString(std::string const& input);
 
std::string toString(ModelExportFormat const& input);
 
ModelExportFormat getModelExportFormatFromFileExtension(std::string const& filename);
}  // namespace io
}  // namespace storm