|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <filesystem>#include <string>

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) |