dc/d25/_compression_mode_8h_source.html

#pragma once


#include <filesystem>

#include <string>


namespace storm::io {


enum class CompressionMode { Default, None, Gzip, Xz };


CompressionMode getCompressionModeFromString(std::string const& input);


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


CompressionMode getCompressionModeFromFileExtension(std::filesystem::path const& filename);


}  // namespace storm::io

storm::io
Definition ArchiveReader.cpp:14

storm::io::toString
std::string toString(CompressionMode const &input)
Definition CompressionMode.cpp:23

storm::io::getCompressionModeFromString
CompressionMode getCompressionModeFromString(std::string const &input)
Definition CompressionMode.cpp:8

storm::io::CompressionMode
CompressionMode
Definition CompressionMode.h:8

storm::io::CompressionMode::Xz
@ Xz

storm::io::CompressionMode::Gzip
@ Gzip

storm::io::CompressionMode::None
@ None

storm::io::CompressionMode::Default
@ Default

storm::io::getCompressionModeFromFileExtension
CompressionMode getCompressionModeFromFileExtension(std::filesystem::path const &filename)
Definition CompressionMode.cpp:39