storm::transformer::SubsystemBuilderOptions Struct Reference

#include <SubsystemBuilder.h>

Public Attributes
bool	checkTransitionsOutside = true
bool	buildStateMapping = true
bool	buildActionMapping = false
bool	buildKeptActions = true
bool	fixDeadlocks = false
bool	makeRowGroupingTrivial = false

Detailed Description

Definition at line 28 of file SubsystemBuilder.h.

Member Data Documentation

buildActionMapping

bool storm::transformer::SubsystemBuilderOptions::buildActionMapping = false

Definition at line 31 of file SubsystemBuilder.h.

buildKeptActions

bool storm::transformer::SubsystemBuilderOptions::buildKeptActions = true

Definition at line 32 of file SubsystemBuilder.h.

buildStateMapping

bool storm::transformer::SubsystemBuilderOptions::buildStateMapping = true

Definition at line 30 of file SubsystemBuilder.h.

checkTransitionsOutside

bool storm::transformer::SubsystemBuilderOptions::checkTransitionsOutside = true

Definition at line 29 of file SubsystemBuilder.h.

fixDeadlocks

bool storm::transformer::SubsystemBuilderOptions::fixDeadlocks = false

Definition at line 33 of file SubsystemBuilder.h.

makeRowGroupingTrivial

bool storm::transformer::SubsystemBuilderOptions::makeRowGroupingTrivial = false

Definition at line 34 of file SubsystemBuilder.h.

---

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

• src/storm/transformer/SubsystemBuilder.h