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