| addLabel(std::string const &name, storm::expressions::Expression const &statePredicateExpression) | storm::prism::Program | |
| buildActionIndexToActionNameMap() const | storm::prism::Program | |
| buildActionIndexToPlayerIndexMap() const | storm::prism::Program | |
| buildCommandIndexToActionIndex() const | storm::prism::Program | |
| buildCommandIndexToActionNameMap() const | storm::prism::Program | |
| buildModuleIndexToPlayerIndexMap() const | storm::prism::Program | |
| checkValidity(Program::ValidityCheckLevel lvl=Program::ValidityCheckLevel::READYFORPROCESSING) const | storm::prism::Program | |
| defineUndefinedConstants(std::map< storm::expressions::Variable, storm::expressions::Expression > const &constantDefinitions) const | storm::prism::Program | |
| filterLabels(std::set< std::string > const &labelSet) | storm::prism::Program | |
| flattenModules(std::shared_ptr< storm::utility::solver::SmtSolverFactory > const &smtSolverFactory=std::shared_ptr< storm::utility::solver::SmtSolverFactory >(new storm::utility::solver::SmtSolverFactory())) const | storm::prism::Program | |
| getActionIndex(std::string const &actionName) const | storm::prism::Program | |
| getActionName(uint_fast64_t actionIndex) const | storm::prism::Program | |
| getActionNameToIndexMapping() const | storm::prism::Program | |
| getActions() const | storm::prism::Program | |
| getAllExpressionVariables(bool includeConstants=true) const | storm::prism::Program | |
| getAllGuards(bool negated=false) const | storm::prism::Program | |
| getAllRangeExpressions() const | storm::prism::Program | |
| getConstant(std::string const &constantName) const | storm::prism::Program | |
| getConstants() const | storm::prism::Program | |
| getConstantsFormulasSubstitution(bool getConstantsSubstitution=true, bool getFormulasSubstitution=true) const | storm::prism::Program | |
| getConstantsSubstitution() const | storm::prism::Program | |
| getDefaultSystemComposition() const | storm::prism::Program | |
| getFilename() const | storm::prism::LocatedInformation | |
| getFinalRenamingOfModule(Module const &renamedModule) const | storm::prism::Program | |
| getFormulas() const | storm::prism::Program | |
| getFormulasSubstitution() const | storm::prism::Program | |
| getGlobalBooleanVariable(std::string const &variableName) const | storm::prism::Program | |
| getGlobalBooleanVariables() const | storm::prism::Program | |
| getGlobalIntegerVariable(std::string const &variableName) const | storm::prism::Program | |
| getGlobalIntegerVariables() const | storm::prism::Program | |
| getIndexOfPlayer(std::string const &playerName) const | storm::prism::Program | |
| getInitialStatesExpression() const | storm::prism::Program | |
| getLabelExpression(std::string const &label) const | storm::prism::Program | |
| getLabels() const | storm::prism::Program | |
| getLabelToExpressionMapping() const | storm::prism::Program | |
| getLineNumber() const | storm::prism::LocatedInformation | |
| getManager() const | storm::prism::Program | |
| getModelType() const | storm::prism::Program | |
| getModule(uint_fast64_t index) const | storm::prism::Program | |
| getModule(std::string const &moduleName) const | storm::prism::Program | |
| getModuleCommandIndexByGlobalCommandIndex(uint_fast64_t globalCommandIndex) const | storm::prism::Program | |
| getModuleIndexByVariable(std::string const &variableName) const | storm::prism::Program | |
| getModuleIndicesByAction(std::string const &action) const | storm::prism::Program | |
| getModuleIndicesByActionIndex(uint_fast64_t actionIndex) const | storm::prism::Program | |
| getModules() const | storm::prism::Program | |
| getNumberOfCommands() const | storm::prism::Program | |
| getNumberOfConstants() const | storm::prism::Program | |
| getNumberOfFormulas() const | storm::prism::Program | |
| getNumberOfGlobalBooleanVariables() const | storm::prism::Program | |
| getNumberOfGlobalIntegerVariables() const | storm::prism::Program | |
| getNumberOfLabels() const | storm::prism::Program | |
| getNumberOfModules() const | storm::prism::Program | |
| getNumberOfObservationLabels() const | storm::prism::Program | |
| getNumberOfPlayers() const | storm::prism::Program | |
| getNumberOfRewardModels() const | storm::prism::Program | |
| getNumberOfUnlabeledCommands() const | storm::prism::Program | |
| getObservationLabels() const | storm::prism::Program | |
| getOptionalSystemCompositionConstruct() const | storm::prism::Program | |
| getPlayerNameToIndexMapping() const | storm::prism::Program | |
| getPlayers() const | storm::prism::Program | |
| getPossiblySynchronizingCommands() const | storm::prism::Program | |
| getRewardModel(std::string const &rewardModelName) const | storm::prism::Program | |
| getRewardModel(uint_fast64_t index) const | storm::prism::Program | |
| getRewardModels() const | storm::prism::Program | |
| getSubstitutionForRenamedModule(Module const &renamedModule, std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const | storm::prism::Program | |
| getSynchronizingActionIndices() const | storm::prism::Program | |
| getSystemCompositionConstruct() const | storm::prism::Program | |
| getUndefinedConstants() const | storm::prism::Program | |
| getUndefinedConstantsAsString() const | storm::prism::Program | |
| globalBooleanVariableExists(std::string const &variableName) const | storm::prism::Program | |
| globalIntegerVariableExists(std::string const &variableName) const | storm::prism::Program | |
| hasAction(std::string const &actionName) const | storm::prism::Program | |
| hasAction(uint_fast64_t const &actionIndex) const | storm::prism::Program | |
| hasConstant(std::string const &constantName) const | storm::prism::Program | |
| hasInitialConstruct() const | storm::prism::Program | |
| hasIntervalUpdates() const | storm::prism::Program | |
| hasLabel(std::string const &labelName) const | storm::prism::Program | |
| hasModule(std::string const &moduleName) const | storm::prism::Program | |
| hasRewardModel() const | storm::prism::Program | |
| hasRewardModel(std::string const &name) const | storm::prism::Program | |
| hasUnboundedVariables() const | storm::prism::Program | |
| hasUndefinedConstants() const | storm::prism::Program | |
| isDeterministicModel() const | storm::prism::Program | |
| isDiscreteTimeModel() const | storm::prism::Program | |
| isPartiallyObservable() const | storm::prism::Program | |
| labelUnlabelledCommands(std::map< uint64_t, std::string > const &nameSuggestions={}) const | storm::prism::Program | |
| LocatedInformation(std::string const &filename, uint_fast64_t lineNumber) | storm::prism::LocatedInformation | |
| LocatedInformation()=default | storm::prism::LocatedInformation | |
| LocatedInformation(LocatedInformation const &other)=default | storm::prism::LocatedInformation | |
| LocatedInformation(LocatedInformation &&other)=default | storm::prism::LocatedInformation | |
| ModelType enum name | storm::prism::Program | |
| operator<< | storm::prism::Program | friend |
| operator=(Program const &other)=default | storm::prism::Program | |
| operator=(Program &&other)=default | storm::prism::Program | |
| storm::prism::LocatedInformation::operator=(LocatedInformation const &other)=default | storm::prism::LocatedInformation | |
| storm::prism::LocatedInformation::operator=(LocatedInformation &&other)=default | storm::prism::LocatedInformation | |
| Program(std::shared_ptr< storm::expressions::ExpressionManager > manager, ModelType modelType, std::vector< Constant > const &constants, std::vector< BooleanVariable > const &globalBooleanVariables, std::vector< IntegerVariable > const &globalIntegerVariables, std::vector< Formula > const &formulas, std::vector< Player > const &players, std::vector< Module > const &modules, std::map< std::string, uint_fast64_t > const &actionToIndexMap, std::vector< RewardModel > const &rewardModels, std::vector< Label > const &labels, std::vector< ObservationLabel > const &observationLabels, boost::optional< InitialConstruct > const &initialConstruct, boost::optional< SystemCompositionConstruct > const &compositionConstruct, bool prismCompatibility, std::string const &filename="", uint_fast64_t lineNumber=0, bool finalModel=true) | storm::prism::Program | |
| Program()=default | storm::prism::Program | |
| Program(Program const &other)=default | storm::prism::Program | |
| Program(Program &&other)=default | storm::prism::Program | |
| removeLabel(std::string const &name) | storm::prism::Program | |
| removeRewardModels() | storm::prism::Program | |
| replaceConstantByVariable(Constant const &c, expressions::Expression const &lowerBound, expressions::Expression const &upperBound, bool observable=true) const | storm::prism::Program | |
| replaceVariableInitializationByInitExpression() const | storm::prism::Program | |
| restrictCommands(storm::storage::FlatSet< uint_fast64_t > const &indexSet) const | storm::prism::Program | |
| setFilename(std::string const &filename) | storm::prism::LocatedInformation | |
| setLineNumber(uint_fast64_t lineNumber) | storm::prism::LocatedInformation | |
| simplify() | storm::prism::Program | |
| specifiesSystemComposition() const | storm::prism::Program | |
| substituteConstants() const | storm::prism::Program | |
| substituteConstantsFormulas(bool substituteConstants=true, bool substituteFormulas=true) const | storm::prism::Program | |
| substituteFormulas() const | storm::prism::Program | |
| substituteNonStandardPredicates() const | storm::prism::Program | |
| toJani(bool allVariablesGlobal=true, std::string suffix="") const | storm::prism::Program | |
| toJani(std::vector< storm::jani::Property > const &properties, bool allVariablesGlobal=true, std::string suffix="") const | storm::prism::Program | |
| undefinedConstantsAreGraphPreserving() const | storm::prism::Program | |
| updateInitialStatesExpression(expressions::Expression const &newExpression) | storm::prism::Program | |
| usedConstants() const | storm::prism::Program | |
| ValidityCheckLevel enum name | storm::prism::Program | |
1.9.8