Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > Member List

This is the complete list of members for storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >, including all inherited members.

actionAtCurrentStateWasOptimal(uint64_t const &localActionIndex) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
actionIsOptimal(uint64_t const &globalActionIndex) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
addChoiceLabelToCurrentState(uint64_t const &localActionIndex, std::string const &label)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
addClippingRewardToCurrentState(uint64_t const &localActionIndex, ValueType rewardValue)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
addRewardToCurrentState(uint64_t const &localActionIndex, ValueType rewardValue)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
addSelfloopTransition(uint64_t const &localActionIndex=0, ValueType const &value=storm::utility::one< ValueType >())storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
addTransitionsToExtraStates(uint64_t const &localActionIndex, ValueType const &targetStateValue=storm::utility::zero< ValueType >(), ValueType const &bottomStateValue=storm::utility::zero< ValueType >())storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
addTransitionToBelief(uint64_t const &localActionIndex, BeliefId const &transitionTarget, ValueType const &value, bool ignoreNewBeliefs)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
adjustActions(uint64_t totalNumberOfActions)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
beliefHasMdpState(BeliefId const &beliefId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
BeliefId typedefstorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
BeliefManagerType typedefstorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
BeliefMdpExplorer(std::shared_ptr< BeliefManagerType > beliefManager, storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType > const &pomdpValueBounds, ExplorationHeuristic explorationHeuristic=ExplorationHeuristic::BreadthFirst)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
BeliefMdpExplorer(BeliefMdpExplorer &&other)=defaultstorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeFMSchedulerValueForMemoryNode(BeliefId const &beliefId, uint64_t memoryNode) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeLowerValueBoundAtBelief(BeliefId const &beliefId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeLowerValueBoundForScheduler(BeliefId const &beliefId, uint64_t schedulerId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeOptimalChoicesAndReachableMdpStates(ValueType const &ancillaryChoicesEpsilon, bool relativeDifference)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeProductWithSparseMatrix(BeliefId const &beliefId, storm::storage::SparseMatrix< BeliefValueType > &matrix) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeRewardAtCurrentState(uint64_t const &localActionIndex, ValueType extraReward=storm::utility::zero< ValueType >())storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeUpperValueBoundAtBelief(BeliefId const &beliefId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeUpperValueBoundForScheduler(BeliefId const &beliefId, uint64_t schedulerId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
computeValuesOfExploredMdp(storm::Environment const &env, storm::solver::OptimizationDirection const &dir)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
currentStateHasOldBehavior() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
currentStateHasSuccessorObservationInObservationSet(uint64_t localActionIndex, storm::storage::BitVector const &observationSet)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
currentStateIsOptimalSchedulerReachable() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
dropUnexploredStates()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
exploreNextState()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
finishExploration()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
gatherSuccessorObservationInformationAtCurrentState(uint64_t localActionIndex, std::map< uint32_t, SuccessorObservationInformation > &gatheredSuccessorObservations)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
gatherSuccessorObservationInformationAtMdpChoice(uint64_t mdpChoice, std::map< uint32_t, SuccessorObservationInformation > &gatheredSuccessorObservations)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getBeliefId(MdpStateType exploredMdpState) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getBeliefManager() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getBeliefsInMdp()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getBeliefsWithObservationInMdp(uint32_t obs) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getComputedValueAtInitialState() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getCurrentNumberOfMdpChoices() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getCurrentNumberOfMdpStates() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getCurrentStateActionExplorationWasDelayed(uint64_t const &localActionIndex) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getCurrentStateWasClipped() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getCurrentStateWasTruncated() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getExploredMdp() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getExploredMdpState(BeliefId const &beliefId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getExtremeValueBoundAtPOMDPState(uint64_t const &pomdpState)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getLowerValueBoundAtCurrentState() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getLowerValueBoundScheduler(uint64_t schedulerId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getLowerValueBoundSchedulers() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getNrOfMemoryNodesForObservation(uint32_t observation) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getNrSchedulersForLowerBounds()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getNrSchedulersForUpperBounds()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getRowGroupSizeOfState(uint64_t state) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getSchedulerForExploredMdp() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getSizeOfCurrentRowGroup() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getStartOfCurrentRowGroup() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getStateExtremeBoundIsInfinite()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getTrivialLowerBoundAtPOMDPState(uint64_t const &pomdpState)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getTrivialUpperBoundAtPOMDPState(uint64_t const &pomdpState)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getUnexploredStates()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getUpperValueBoundAtCurrentState() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getUpperValueBoundScheduler(uint64_t schedulerId) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getUpperValueBoundSchedulers() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
getValuesOfExploredMdp() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
hasComputedValues() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
hasFMSchedulerValues() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
hasUnexploredState() conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
isMarkedAsGridBelief(BeliefId const &beliefId)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
markAsGridBelief(BeliefId const &beliefId)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
MdpStateType typedefstorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
needsActionAdjustment(uint64_t numActionsNeeded)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
restartExploration()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
restoreExplorationState()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
restoreOldBehaviorAtCurrentState(uint64_t const &localActionIndex)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
setCurrentChoiceIsDelayed(uint64_t const &localActionIndex)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
setCurrentStateIsClipped()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
setCurrentStateIsTarget()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
setCurrentStateIsTruncated()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
setExtremeValueBound(storm::pomdp::storage::ExtremePOMDPValueBound< ValueType > valueBound)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
setFMSchedValueList(std::vector< std::vector< std::unordered_map< uint64_t, ValueType > > > valueList)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
startNewExploration(std::optional< ValueType > extraTargetStateValue=boost::none, std::optional< ValueType > extraBottomStateValue=std::nullopt)storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
stateIsOptimalSchedulerReachable(MdpStateType mdpState) conststorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
Status enum namestorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
storeExplorationState()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
takeCurrentValuesAsLowerBounds()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
takeCurrentValuesAsUpperBounds()storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
ValueType typedefstorm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >