| addToDistribution(DistributionType &distr, StateType const &state, BeliefValueType const &value) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| BeliefId typedef | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| BeliefManager(PomdpType const &pomdp, BeliefValueType const &precision, TriangulationMode const &triangulationMode) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| BeliefSupportType typedef | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| BeliefType typedef | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| clipBeliefToGrid(BeliefId const &beliefId, uint64_t resolution, storm::storage::BitVector isInfinite=storm::storage::BitVector()) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| computeMatrixBeliefProduct(BeliefId const &beliefId, storm::storage::SparseMatrix< BeliefValueType > &matrix) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| expand(BeliefId const &beliefId, uint64_t actionIndex) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| expandAndClip(BeliefId const &beliefId, uint64_t actionIndex, std::vector< uint64_t > const &observationResolutions) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| expandAndTriangulate(BeliefId const &beliefId, uint64_t actionIndex, std::vector< BeliefValueType > const &observationResolutions) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getBeliefActionReward(BeliefId const &beliefId, uint64_t const &localActionIndex) const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getBeliefNumberOfChoices(BeliefId beliefId) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getBeliefObservation(BeliefId beliefId) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getInitialBelief() const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getNumberOfBeliefIds() const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getObservationLabel(BeliefId const &beliefId) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getRepresentativeState(BeliefId const &beliefId) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getWeightedSum(BeliefId const &beliefId, std::vector< ValueType > const &summands) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| getWeightedSum(BeliefId const &beliefId, std::unordered_map< StateType, ValueType > const &summands) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| isEqual(BeliefId const &first, BeliefId const &second) const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| joinSupport(BeliefId const &beliefId, BeliefSupportType &support) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| noId() const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| setRewardModel(std::optional< std::string > rewardModelName=std::nullopt) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| toString(BeliefId const &beliefId) const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| toString(Triangulation const &t) const | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| triangulateBelief(BeliefId beliefId, BeliefValueType resolution) | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| TriangulationMode enum name | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| unsetRewardModel() | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
| ValueType typedef | storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType > | |
1.9.8