ModelExportFormat.h

Go to the documentation of this file.

#pragma once
 
#include <string>
 
namespace storm {
namespace io {
 
enum class ModelExportFormat { Dot, Drdd, Drn, Json, Umb };

ModelExportFormat getModelExportFormatFromString(std::string const& input);

std::string toString(ModelExportFormat const& input);

ModelExportFormat getModelExportFormatFromFileExtension(std::string const& filename);
}  // namespace io
}  // namespace storm