| 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 > | |
1.9.8