storm::umb::ImportOptions Struct Reference

#include <ImportOptions.h>

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

Public Attributes
enum storm::umb::ImportOptions::ValueType	Default
bool	buildChoiceLabeling {true}
	Controls building of choice labelings.
bool	buildStateValuations {true}
	Controls building of state valuations.

Detailed Description

Definition at line 4 of file ImportOptions.h.

Member Enumeration Documentation

ValueType

enum class storm::umb::ImportOptions::ValueType

strong

The type that is used for all kinds of values.

Default picks the value type of the input model. If the input model is an interval model, the value type will be the correspdonding interval type.

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

Definition at line 12 of file ImportOptions.h.

Member Data Documentation

buildChoiceLabeling

bool storm::umb::ImportOptions::buildChoiceLabeling {true}

Controls building of choice labelings.

A choice labelling will only be built if this is set to true and the umb model contains appropriate information.

Definition at line 18 of file ImportOptions.h.

buildStateValuations

bool storm::umb::ImportOptions::buildStateValuations {true}

Controls building of state valuations.

State valuations will only be built if this is set to true and the umb model contains appropriate information.

Definition at line 24 of file ImportOptions.h.

Default

enum storm::umb::ImportOptions::ValueType storm::umb::ImportOptions::Default

---

The documentation for this struct was generated from the following file:

• src/storm/storage/umb/import/ImportOptions.h