Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
CompressionMode.h File Reference
#include <filesystem>
#include <string>
Include dependency graph for CompressionMode.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  storm
 
namespace  storm::io
 

Enumerations

enum class  storm::io::CompressionMode { storm::io::Default , storm::io::None , storm::io::Gzip , storm::io::Xz }
 

Functions

CompressionMode storm::io::getCompressionModeFromString (std::string const &input)
 
std::string storm::io::toString (CompressionMode const &input)
 
CompressionMode storm::io::getCompressionModeFromFileExtension (std::filesystem::path const &filename)