storm::parser::detail::DrnHeader Struct Reference

Public Attributes
storm::models::ModelType	modelType
DirectEncodingValueType	valueType {DirectEncodingValueType::Default}
uint64_t	nrStates {0}
uint64_t	nrChoices {0}
std::vector< std::string >	parameters
std::unordered_map< std::string, std::string >	placeholders
std::vector< std::string >	rewardModelNames

Detailed Description

Definition at line 97 of file DirectEncodingParser.cpp.

Member Data Documentation

modelType

storm::models::ModelType storm::parser::detail::DrnHeader::modelType

Definition at line 98 of file DirectEncodingParser.cpp.

nrChoices

uint64_t storm::parser::detail::DrnHeader::nrChoices {0}

Definition at line 100 of file DirectEncodingParser.cpp.

nrStates

uint64_t storm::parser::detail::DrnHeader::nrStates {0}

Definition at line 100 of file DirectEncodingParser.cpp.

parameters

std::vector<std::string> storm::parser::detail::DrnHeader::parameters

Definition at line 101 of file DirectEncodingParser.cpp.

placeholders

std::unordered_map<std::string, std::string> storm::parser::detail::DrnHeader::placeholders

Definition at line 102 of file DirectEncodingParser.cpp.

rewardModelNames

std::vector<std::string> storm::parser::detail::DrnHeader::rewardModelNames

Definition at line 103 of file DirectEncodingParser.cpp.

valueType

DirectEncodingValueType storm::parser::detail::DrnHeader::valueType {DirectEncodingValueType::Default}

Definition at line 99 of file DirectEncodingParser.cpp.

---

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

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