actionAtCurrentStateWasOptimal(uint64_t const &localActionIndex) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
actionIsOptimal(uint64_t const &globalActionIndex) const | storm::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) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
BeliefId typedef | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
BeliefManagerType typedef | storm::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)=default | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeFMSchedulerValueForMemoryNode(BeliefId const &beliefId, uint64_t memoryNode) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeLowerValueBoundAtBelief(BeliefId const &beliefId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeLowerValueBoundForScheduler(BeliefId const &beliefId, uint64_t schedulerId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeOptimalChoicesAndReachableMdpStates(ValueType const &ancillaryChoicesEpsilon, bool relativeDifference) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeProductWithSparseMatrix(BeliefId const &beliefId, storm::storage::SparseMatrix< BeliefValueType > &matrix) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeRewardAtCurrentState(uint64_t const &localActionIndex, ValueType extraReward=storm::utility::zero< ValueType >()) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeUpperValueBoundAtBelief(BeliefId const &beliefId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeUpperValueBoundForScheduler(BeliefId const &beliefId, uint64_t schedulerId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
computeValuesOfExploredMdp(storm::Environment const &env, storm::solver::OptimizationDirection const &dir) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
currentStateHasOldBehavior() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
currentStateHasSuccessorObservationInObservationSet(uint64_t localActionIndex, storm::storage::BitVector const &observationSet) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
currentStateIsOptimalSchedulerReachable() const | storm::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) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getBeliefManager() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getBeliefsInMdp() | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getBeliefsWithObservationInMdp(uint32_t obs) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getComputedValueAtInitialState() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getCurrentNumberOfMdpChoices() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getCurrentNumberOfMdpStates() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getCurrentStateActionExplorationWasDelayed(uint64_t const &localActionIndex) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getCurrentStateWasClipped() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getCurrentStateWasTruncated() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getExploredMdp() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getExploredMdpState(BeliefId const &beliefId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getExtremeValueBoundAtPOMDPState(uint64_t const &pomdpState) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getLowerValueBoundAtCurrentState() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getLowerValueBoundScheduler(uint64_t schedulerId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getLowerValueBoundSchedulers() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getNrOfMemoryNodesForObservation(uint32_t observation) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getNrSchedulersForLowerBounds() | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getNrSchedulersForUpperBounds() | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getRowGroupSizeOfState(uint64_t state) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getSchedulerForExploredMdp() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getSizeOfCurrentRowGroup() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getStartOfCurrentRowGroup() const | storm::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() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getUpperValueBoundScheduler(uint64_t schedulerId) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getUpperValueBoundSchedulers() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
getValuesOfExploredMdp() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
hasComputedValues() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
hasFMSchedulerValues() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
hasUnexploredState() const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
isMarkedAsGridBelief(BeliefId const &beliefId) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
markAsGridBelief(BeliefId const &beliefId) | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
MdpStateType typedef | storm::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) const | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
Status enum name | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
storeExplorationState() | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
takeCurrentValuesAsLowerBounds() | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
takeCurrentValuesAsUpperBounds() | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |
ValueType typedef | storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType > | |