Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
CompressionMode.cpp File Reference
Include dependency graph for CompressionMode.cpp:

Go to the source code of this file.

Namespaces

namespace  storm
 
namespace  storm::io
 

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)