storm::bisimulation::Options Struct Reference

#include <Options.h>

Public Attributes
StateLabelPreservation	stateLabelPreservation = StateLabelPreservation::Default
std::optional< bool >	preserveAllRewards = std::nullopt
bool	preserveChoiceLabels = true
bool	preserveChoiceOrigins = true
bool	actionSensitive = false
BisimulationType	bisimulationType = BisimulationType::Strong
std::optional< storm::RationalNumber >	tolerance = std::nullopt
bool	createQuotientChoiceMapping = false
bool	preferSignatureRefinement

Detailed Description

Definition at line 23 of file Options.h.

Member Data Documentation

actionSensitive

bool storm::bisimulation::Options::actionSensitive = false

Definition at line 31 of file Options.h.

bisimulationType

BisimulationType storm::bisimulation::Options::bisimulationType = BisimulationType::Strong

Definition at line 32 of file Options.h.

createQuotientChoiceMapping

bool storm::bisimulation::Options::createQuotientChoiceMapping = false

Definition at line 38 of file Options.h.

preferSignatureRefinement

bool storm::bisimulation::Options::preferSignatureRefinement

Initial value:

=
        false

Definition at line 40 of file Options.h.

preserveAllRewards

std::optional<bool> storm::bisimulation::Options::preserveAllRewards = std::nullopt

Definition at line 26 of file Options.h.

preserveChoiceLabels

bool storm::bisimulation::Options::preserveChoiceLabels = true

Definition at line 27 of file Options.h.

preserveChoiceOrigins

bool storm::bisimulation::Options::preserveChoiceOrigins = true

Definition at line 28 of file Options.h.

stateLabelPreservation

StateLabelPreservation storm::bisimulation::Options::stateLabelPreservation = StateLabelPreservation::Default

Definition at line 25 of file Options.h.

tolerance

std::optional<storm::RationalNumber> storm::bisimulation::Options::tolerance = std::nullopt

Definition at line 35 of file Options.h.

---

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

• src/storm/transformer/bisimulation/Options.h