Storm
1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DirectEncodingExporterOptions.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <optional>
4
5
#include "
storm/io/CompressionMode.h
"
6
7
namespace
storm::io
{
8
9
struct
DirectEncodingExporterOptions
{
13
bool
allowPlaceholders
=
true
;
14
18
std::optional<std::size_t>
outputPrecision
= std::nullopt;
19
23
storm::io::CompressionMode
compression
=
storm::io::CompressionMode::None
;
24
};
25
}
// namespace storm::io
CompressionMode.h
storm::io
Definition
ArchiveReader.cpp:14
storm::io::CompressionMode
CompressionMode
Definition
CompressionMode.h:8
storm::io::CompressionMode::None
@ None
storm::io::DirectEncodingExporterOptions
Definition
DirectEncodingExporterOptions.h:9
storm::io::DirectEncodingExporterOptions::allowPlaceholders
bool allowPlaceholders
Allow placeholders for rational functions in the exported DRN file.
Definition
DirectEncodingExporterOptions.h:13
storm::io::DirectEncodingExporterOptions::compression
storm::io::CompressionMode compression
The type of compression used for the exported DRN file.
Definition
DirectEncodingExporterOptions.h:23
storm::io::DirectEncodingExporterOptions::outputPrecision
std::optional< std::size_t > outputPrecision
If set, the output precision for floating point numbers in the exported DRN file is set to the given ...
Definition
DirectEncodingExporterOptions.h:18
src
storm
io
DirectEncodingExporterOptions.h
Generated by
1.9.8