storm::cli::ModelProcessingInformation Struct Reference

#include <model-handling.h>

Collaboration diagram for storm::cli::ModelProcessingInformation:

Public Types
enum class	ValueType { FinitePrecision , Exact , Parametric }

Public Attributes
storm::utility::Engine	engine
bool	applyBisimulation
bool	transformToJani
ValueType	buildValueType
ValueType	verificationValueType
storm::dd::DdType	ddType
storm::Environment	env
bool	isCompatible

Detailed Description

Definition at line 154 of file model-handling.h.

Member Enumeration Documentation

ValueType

enum class storm::cli::ModelProcessingInformation::ValueType

strong

Enumerator
FinitePrecision
Exact
Parametric

Definition at line 165 of file model-handling.h.

Member Data Documentation

applyBisimulation

bool storm::cli::ModelProcessingInformation::applyBisimulation

Definition at line 159 of file model-handling.h.

buildValueType

ValueType storm::cli::ModelProcessingInformation::buildValueType

Definition at line 166 of file model-handling.h.

ddType

storm::dd::DdType storm::cli::ModelProcessingInformation::ddType

Definition at line 170 of file model-handling.h.

engine

storm::utility::Engine storm::cli::ModelProcessingInformation::engine

Definition at line 156 of file model-handling.h.

env

storm::Environment storm::cli::ModelProcessingInformation::env

Definition at line 173 of file model-handling.h.

isCompatible

bool storm::cli::ModelProcessingInformation::isCompatible

Definition at line 177 of file model-handling.h.

transformToJani

bool storm::cli::ModelProcessingInformation::transformToJani

Definition at line 162 of file model-handling.h.

verificationValueType

ValueType storm::cli::ModelProcessingInformation::verificationValueType

Definition at line 167 of file model-handling.h.

---

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

• src/storm-cli-utilities/model-handling.h