storm::parser::DirectEncodingParserOptions Struct Reference

#include <DirectEncodingParser.h>

Public Attributes
bool	buildChoiceLabeling = false

Detailed Description

Definition at line 14 of file DirectEncodingParser.h.

Member Data Documentation

buildChoiceLabeling

bool storm::parser::DirectEncodingParserOptions::buildChoiceLabeling = false

Definition at line 15 of file DirectEncodingParser.h.

---

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

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