| BaseThread(StaminaModelBuilder< ValueType, RewardModelType, StateType > *parent) | stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType > | |
| controlThread (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| crossExplorationQueue (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| crossExplorationQueueMutex (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| enqueueSuccessors(CompressedState &state)=0 (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protectedpure virtual |
| ExplorationThread(StaminaModelBuilder< ValueType, RewardModelType, StateType > *parent, uint8_t threadIndex, ControlThread< StateType, RewardModelType, ValueType > &controlThread, uint32_t stateSize, util::StateIndexArray< StateType, ProbabilityState< StateType > > *stateMap, std::shared_ptr< storm::generator::PrismNextStateGenerator< ValueType, StateType > > const &generator, std::function< StateType(CompressedState const &)> stateToIdCallback) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| exploreState(StateAndProbability &stateProbability)=0 (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protectedpure virtual |
| exploreStates()=0 (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protectedpure virtual |
| finished (defined in stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType > | protected |
| generator (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| getIndex() (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| getNumberOfOwnedStates() (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| getParent() | stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType > | |
| idling (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| isIdling() (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| join() | stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType > | |
| mainExplorationQueue (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| mainLoop() override | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | virtual |
| numberOfOwnedStates (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| requestCrossExploration(CompressedState &state, double deltaPi) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| requestCrossExploration(StateType stateIndex, double deltaPi) (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| setIsCtmc(bool isCtmc) (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | |
| startThread() | stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType > | |
| stateMap (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| statesTerminatedLastIteration (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| stateStorage (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| statesToRequestCrossExploration (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| stateToIdCallback (defined in stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType > | protected |
| terminate() (defined in stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType > | |
1.9.3