DirectEncodingExporterOptions.h

Go to the documentation of this file.

#pragma once
 
#include <optional>
 
#include "storm/io/CompressionMode.h"
 
namespace storm::io {
 
struct DirectEncodingExporterOptions {
    bool allowPlaceholders = true;
 
    std::optional<std::size_t> outputPrecision = std::nullopt;
 
    storm::io::CompressionMode compression = storm::io::CompressionMode::None;
};
}  // namespace storm::io