Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::parser::GlobalProgramInformation Class Reference

#include <PrismParserGrammar.h>

Collaboration diagram for storm::parser::GlobalProgramInformation:
Collaboration graph
[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
 
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 47 of file PrismParserGrammar.h.

Member Data Documentation

◆ actionIndices

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

Definition at line 76 of file PrismParserGrammar.h.

◆ constants

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

Definition at line 71 of file PrismParserGrammar.h.

◆ currentCommandIndex

uint_fast64_t storm::parser::GlobalProgramInformation::currentCommandIndex

Definition at line 90 of file PrismParserGrammar.h.

◆ currentUpdateIndex

uint_fast64_t storm::parser::GlobalProgramInformation::currentUpdateIndex

Definition at line 91 of file PrismParserGrammar.h.

◆ formulas

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

Definition at line 72 of file PrismParserGrammar.h.

◆ globalBooleanVariables

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

Definition at line 73 of file PrismParserGrammar.h.

◆ globalIntegerVariables

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

Definition at line 74 of file PrismParserGrammar.h.

◆ hasInitialConstruct

bool storm::parser::GlobalProgramInformation::hasInitialConstruct

Definition at line 85 of file PrismParserGrammar.h.

◆ initialConstruct

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

Definition at line 86 of file PrismParserGrammar.h.

◆ labels

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

Definition at line 79 of file PrismParserGrammar.h.

◆ modelType

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

Definition at line 70 of file PrismParserGrammar.h.

◆ modules

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

Definition at line 77 of file PrismParserGrammar.h.

◆ moduleToIndexMap

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

Definition at line 75 of file PrismParserGrammar.h.

◆ observationLabels

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

Definition at line 80 of file PrismParserGrammar.h.

◆ playerControlledActions

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

Definition at line 83 of file PrismParserGrammar.h.

◆ playerControlledModules

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

Definition at line 82 of file PrismParserGrammar.h.

◆ players

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

Definition at line 81 of file PrismParserGrammar.h.

◆ rewardModels

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

Definition at line 78 of file PrismParserGrammar.h.

◆ systemCompositionConstruct

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

Definition at line 87 of file PrismParserGrammar.h.

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