storm::parser::ExplicitModelParserOptions Struct Reference

#include <ExplicitModelParserOptions.h>

Public Attributes
bool	fixDeadlocks = true
bool	buildChoiceLabels = false

Detailed Description

Definition at line 6 of file ExplicitModelParserOptions.h.

Member Data Documentation

buildChoiceLabels

bool storm::parser::ExplicitModelParserOptions::buildChoiceLabels = false

Definition at line 8 of file ExplicitModelParserOptions.h.

fixDeadlocks

bool storm::parser::ExplicitModelParserOptions::fixDeadlocks = true

Definition at line 7 of file ExplicitModelParserOptions.h.

---

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

• src/storm-parsers/parser/ExplicitModelParserOptions.h