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

This is the complete list of members for storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >, including all inherited members.

addToDistribution(DistributionType &distr, StateType const &state, BeliefValueType const &value)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
BeliefId typedefstorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
BeliefManager(PomdpType const &pomdp, BeliefValueType const &precision, TriangulationMode const &triangulationMode)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
BeliefSupportType typedefstorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
BeliefType typedefstorm::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) conststorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
getBeliefNumberOfChoices(BeliefId beliefId)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
getBeliefObservation(BeliefId beliefId)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
getInitialBelief() conststorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
getNumberOfBeliefIds() conststorm::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) conststorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
joinSupport(BeliefId const &beliefId, BeliefSupportType &support)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
noId() conststorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
setRewardModel(std::optional< std::string > rewardModelName=std::nullopt)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
toString(BeliefId const &beliefId) conststorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
toString(Triangulation const &t) conststorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
triangulateBelief(BeliefId beliefId, BeliefValueType resolution)storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
TriangulationMode enum namestorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
unsetRewardModel()storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
ValueType typedefstorm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >