| absorbingState (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| absorbingWasSetUp (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| accumulateProbabilities() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| build() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| buildMatrices(storm::storage::SparseMatrixBuilder< ValueType > &transitionMatrixBuilder, std::vector< RewardModelBuilder< typename RewardModelType::ValueType > > &rewardModelBuilders, StateAndChoiceInformationBuilder &choiceInformationBuilder, boost::optional< storm::storage::BitVector > &markovianChoices, boost::optional< storm::storage::sparse::StateValuationsBuilder > &stateValuationsBuilder)=0 | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protectedpure virtual |
| buildModelComponents()=0 | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protectedpure virtual |
| buildStateLabeling() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| connectTerminalStatesToAbsorbing(storm::storage::SparseMatrixBuilder< ValueType > &transitionMatrixBuilder, CompressedState &terminalState, StateType stateId, std::function< StateType(CompressedState const &)> stateToIdCallback) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| controlThread (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| createTransition(StateType from, StateType to, ValueType probability) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| createTransition(TransitionInfo transitionInfo) (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| currentProbabilityState (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| currentRow (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| currentRowGroup (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| explorationThreads (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| expressionManager (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| firstIteration (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| flushToTransitionMatrix(storm::storage::SparseMatrixBuilder< ValueType > &transitionMatrixBuilder) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| formulaMatchesExpression (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| fresh (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| generator (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| getLocalKappa() (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| getOrAddStateIndex(CompressedState const &state) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | virtual |
| getPerimeterStates() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| getPropertyExpression() (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| getStateIndexIfKnown(CompressedState const &state) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| getStateIndexOrAbsorbing(CompressedState const &state) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| getStateStorage() (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| isCtmc (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| isInit (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| iteration (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| loadPropertyExpressionFromFormula() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| localKappa (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| memoryPool (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| modulesFile (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| numberStates (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| numberTerminal (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| numberTransitions (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| options (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| printStateSpaceInformation() (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| propertyExpression (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| propertyFormula (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| reset() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| setGenerator(std::shared_ptr< storm::generator::PrismNextStateGenerator< ValueType, StateType > > generator) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| setLocalKappaToGlobal() | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| setPropertyFormula(std::shared_ptr< const storm::logic::Formula > formula, const storm::prism::Program &modulesFile) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| setUpAbsorbingState(storm::storage::SparseMatrixBuilder< ValueType > &transitionMatrixBuilder, std::vector< RewardModelBuilder< typename RewardModelType::ValueType > > &rewardModelBuilders, StateAndChoiceInformationBuilder &choiceInformationBuilder, boost::optional< storm::storage::BitVector > &markovianChoices, boost::optional< storm::storage::sparse::StateValuationsBuilder > &stateValuationsBuilder) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| StaminaModelBuilder(std::shared_ptr< storm::generator::PrismNextStateGenerator< ValueType, StateType > > const &generator, storm::prism::Program const &modulesFile, storm::generator::NextStateGeneratorOptions const &options) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| StaminaModelBuilder(storm::prism::Program const &program, storm::generator::NextStateGeneratorOptions const &generatorOptions) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| stateMap (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| stateRemapping (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| statesToExplore (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| stateStorage (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| StateThreadIndex typedef (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | |
| terminalStateToIdCallback (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
| transitionsToAdd (defined in stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >) | stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType > | protected |
1.9.3