#include <PrismParserGrammar.h>

Collaboration diagram for storm::parser::GlobalProgramInformation:

[legend]

Public Member Functions
	GlobalProgramInformation ()
void	moveToSecondRun ()

Public Attributes
storm::prism::Program::ModelType	modelType
std::vector< storm::prism::Constant >	constants
std::vector< storm::prism::Formula >	formulas
std::vector< storm::prism::BooleanVariable >	globalBooleanVariables
std::vector< storm::prism::IntegerVariable >	globalIntegerVariables
std::map< std::string, uint_fast64_t >	moduleToIndexMap
std::map< std::string, uint_fast64_t >	actionIndices
std::vector< storm::prism::Module >	modules
std::vector< storm::prism::RewardModel >	rewardModels
std::vector< storm::prism::Label >	labels
std::vector< storm::prism::ObservationLabel >	observationLabels
std::vector< storm::prism::Player >	players
std::set< uint_fast64_t >	playerControlledModules
std::set< uint_fast64_t >	playerControlledActions
bool	hasInitialConstruct
storm::prism::InitialConstruct	initialConstruct
bool	hasObservablesConstruct
boost::optional< storm::prism::SystemCompositionConstruct >	systemCompositionConstruct
uint_fast64_t	currentCommandIndex
uint_fast64_t	currentUpdateIndex

Detailed Description

Definition at line 24 of file PrismParserGrammar.h.

Constructor & Destructor Documentation

◆ GlobalProgramInformation()

storm::parser::GlobalProgramInformation::GlobalProgramInformation ( )

inline

Definition at line 27 of file PrismParserGrammar.h.

Member Function Documentation

◆ moveToSecondRun()

void storm::parser::GlobalProgramInformation::moveToSecondRun ( )

inline

Definition at line 48 of file PrismParserGrammar.h.

Member Data Documentation

◆ actionIndices

std::map<std::string, uint_fast64_t> storm::parser::GlobalProgramInformation::actionIndices

Definition at line 78 of file PrismParserGrammar.h.

◆ constants

std::vector<storm::prism::Constant> storm::parser::GlobalProgramInformation::constants

Definition at line 73 of file PrismParserGrammar.h.

◆ currentCommandIndex

uint_fast64_t storm::parser::GlobalProgramInformation::currentCommandIndex

Definition at line 93 of file PrismParserGrammar.h.

◆ currentUpdateIndex

uint_fast64_t storm::parser::GlobalProgramInformation::currentUpdateIndex

Definition at line 94 of file PrismParserGrammar.h.

◆ formulas

std::vector<storm::prism::Formula> storm::parser::GlobalProgramInformation::formulas

Definition at line 74 of file PrismParserGrammar.h.

◆ globalBooleanVariables

std::vector<storm::prism::BooleanVariable> storm::parser::GlobalProgramInformation::globalBooleanVariables

Definition at line 75 of file PrismParserGrammar.h.

◆ globalIntegerVariables

std::vector<storm::prism::IntegerVariable> storm::parser::GlobalProgramInformation::globalIntegerVariables

Definition at line 76 of file PrismParserGrammar.h.

◆ hasInitialConstruct

bool storm::parser::GlobalProgramInformation::hasInitialConstruct

Definition at line 87 of file PrismParserGrammar.h.

◆ hasObservablesConstruct

bool storm::parser::GlobalProgramInformation::hasObservablesConstruct

Definition at line 89 of file PrismParserGrammar.h.

◆ initialConstruct

storm::prism::InitialConstruct storm::parser::GlobalProgramInformation::initialConstruct

Definition at line 88 of file PrismParserGrammar.h.

◆ labels

std::vector<storm::prism::Label> storm::parser::GlobalProgramInformation::labels

Definition at line 81 of file PrismParserGrammar.h.

◆ modelType

storm::prism::Program::ModelType storm::parser::GlobalProgramInformation::modelType

Definition at line 72 of file PrismParserGrammar.h.

◆ modules

std::vector<storm::prism::Module> storm::parser::GlobalProgramInformation::modules

Definition at line 79 of file PrismParserGrammar.h.

◆ moduleToIndexMap

std::map<std::string, uint_fast64_t> storm::parser::GlobalProgramInformation::moduleToIndexMap

Definition at line 77 of file PrismParserGrammar.h.

◆ observationLabels

std::vector<storm::prism::ObservationLabel> storm::parser::GlobalProgramInformation::observationLabels

Definition at line 82 of file PrismParserGrammar.h.

◆ playerControlledActions

std::set<uint_fast64_t> storm::parser::GlobalProgramInformation::playerControlledActions

Definition at line 85 of file PrismParserGrammar.h.

◆ playerControlledModules

std::set<uint_fast64_t> storm::parser::GlobalProgramInformation::playerControlledModules

Definition at line 84 of file PrismParserGrammar.h.

◆ players

std::vector<storm::prism::Player> storm::parser::GlobalProgramInformation::players

Definition at line 83 of file PrismParserGrammar.h.

◆ rewardModels

std::vector<storm::prism::RewardModel> storm::parser::GlobalProgramInformation::rewardModels

Definition at line 80 of file PrismParserGrammar.h.

◆ systemCompositionConstruct

boost::optional<storm::prism::SystemCompositionConstruct> storm::parser::GlobalProgramInformation::systemCompositionConstruct

Definition at line 90 of file PrismParserGrammar.h.

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

src/storm-parsers/parser/PrismParserGrammar.h

Public Member Functions

Public Attributes