stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType > Member List

This is the complete list of members for stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType >, including all inherited members.

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 >