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) override (defined in stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType > | 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) override (defined in stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType > | protectedvirtual |
exploreStates() override (defined in stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType > | protectedvirtual |
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 > | |
IterativeExplorationThread(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::IterativeExplorationThread< 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 > | |
StateAndProbability typedef (defined in stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType >) | stamina::builder::threads::IterativeExplorationThread< 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 > | |