Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::umb::ExportOptions Struct Reference

#include <ExportOptions.h>

Public Types

enum class  ValueType {
  Default , Rational , Double , DoubleInterval ,
  RationalInterval
}
 The type that is used for all kinds of values. More...

Public Attributes

enum storm::umb::ExportOptions::ValueType Default
bool allowChoiceOriginsAsActions {false}
 Whether export of choice origins is enabled.
bool allowChoiceLabelingAsActions {true}
 Whether export of choice origins is enabled.
storm::io::CompressionMode compression {storm::io::CompressionMode::Default}
 The type of compression used for the exported UMB model.
bool canonicizePomdp {true}
 Whether to canonicize POMDPs before export.

Detailed Description

Definition at line 10 of file ExportOptions.h.

Member Enumeration Documentation

◆ ValueType

enum class storm::umb::ExportOptions::ValueType
strong

The type that is used for all kinds of values.

Default picks the value type of the input model.

Note
UMB allows to use different value types for e.g. probabilities, rates, and rewards. We don't support that for now in favour of a cleaner option interface.
Enumerator
Default 
Rational 
Double 
DoubleInterval 
RationalInterval 

Definition at line 16 of file ExportOptions.h.

Member Data Documentation

◆ allowChoiceLabelingAsActions

bool storm::umb::ExportOptions::allowChoiceLabelingAsActions {true}

Whether export of choice origins is enabled.

Note
If both, choice origins and choice labelings are present and enabled, choice origins will be used.

Definition at line 28 of file ExportOptions.h.

◆ allowChoiceOriginsAsActions

bool storm::umb::ExportOptions::allowChoiceOriginsAsActions {false}

Whether export of choice origins is enabled.

Note
If both, choice origins and choice labeling are present and enabled, choice origins will be used.

Definition at line 22 of file ExportOptions.h.

◆ canonicizePomdp

bool storm::umb::ExportOptions::canonicizePomdp {true}

Whether to canonicize POMDPs before export.

Definition at line 38 of file ExportOptions.h.

◆ compression

storm::io::CompressionMode storm::umb::ExportOptions::compression {storm::io::CompressionMode::Default}

The type of compression used for the exported UMB model.

Definition at line 33 of file ExportOptions.h.

◆ Default

enum storm::umb::ExportOptions::ValueType storm::umb::ExportOptions::Default
The documentation for this struct was generated from the following file: