|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include "storm/io/CompressionMode.h"#include "storm/exceptions/InvalidArgumentException.h"#include "storm/utility/macros.h"
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) |