storm::automata::HOAHeader Class Reference

#include <HOAHeader.h>

Collaboration diagram for storm::automata::HOAHeader:

Public Member Functions
AcceptanceCondition::ptr	getAcceptanceCondition ()

Public Attributes
boost::optional< unsigned int >	startState
boost::optional< unsigned int >	numberOfStates
APSet	apSet
boost::optional< unsigned int >	numberOfAcceptanceSets
cpphoafparser::HOAConsumer::acceptance_expr::ptr	acceptance_expression
boost::optional< std::string >	accName
boost::optional< std::vector< cpphoafparser::IntOrString > >	accNameExtraInfo

Detailed Description

Definition at line 9 of file HOAHeader.h.

Member Function Documentation

getAcceptanceCondition()

AcceptanceCondition::ptr storm::automata::HOAHeader::getAcceptanceCondition ( )

inline

Definition at line 20 of file HOAHeader.h.

Member Data Documentation

acceptance_expression

cpphoafparser::HOAConsumer::acceptance_expr::ptr storm::automata::HOAHeader::acceptance_expression

Definition at line 16 of file HOAHeader.h.

accName

boost::optional<std::string> storm::automata::HOAHeader::accName

Definition at line 17 of file HOAHeader.h.

accNameExtraInfo

boost::optional<std::vector<cpphoafparser::IntOrString> > storm::automata::HOAHeader::accNameExtraInfo

Definition at line 18 of file HOAHeader.h.

apSet

APSet storm::automata::HOAHeader::apSet

Definition at line 13 of file HOAHeader.h.

numberOfAcceptanceSets

boost::optional<unsigned int> storm::automata::HOAHeader::numberOfAcceptanceSets

Definition at line 15 of file HOAHeader.h.

numberOfStates

boost::optional<unsigned int> storm::automata::HOAHeader::numberOfStates

Definition at line 12 of file HOAHeader.h.

startState

boost::optional<unsigned int> storm::automata::HOAHeader::startState

Definition at line 11 of file HOAHeader.h.

---

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

• src/storm/automata/HOAHeader.h