Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::DistributionWithReward< ValueType, StateType > Member List

This is the complete list of members for storm::storage::DistributionWithReward< ValueType, StateType >, including all inherited members.

add(Distribution const &other)storm::storage::Distribution< ValueType, uint32_t >
addProbability(uint32_t const &state, ValueType const &probability)storm::storage::Distribution< ValueType, uint32_t >
begin()storm::storage::Distribution< ValueType, uint32_t >
cbegin() conststorm::storage::Distribution< ValueType, uint32_t >
cend() conststorm::storage::Distribution< ValueType, uint32_t >
const_iterator typedefstorm::storage::Distribution< ValueType, uint32_t >
container_type typedefstorm::storage::Distribution< ValueType, uint32_t >
Distribution()storm::storage::Distribution< ValueType, uint32_t >
DistributionWithReward(ValueType const &reward=storm::utility::zero< ValueType >())storm::storage::DistributionWithReward< ValueType, StateType >
DistributionWithReward(DistributionWithReward const &other)=defaultstorm::storage::DistributionWithReward< ValueType, StateType >
DistributionWithReward(DistributionWithReward &&other)=defaultstorm::storage::DistributionWithReward< ValueType, StateType >
end()storm::storage::Distribution< ValueType, uint32_t >
equals(DistributionWithReward< ValueType, StateType > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) conststorm::storage::DistributionWithReward< ValueType, StateType >
storm::storage::Distribution< ValueType, uint32_t >::equals(Distribution< ValueType, uint32_t > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) conststorm::storage::Distribution< ValueType, uint32_t >
getProbability(uint32_t const &state) conststorm::storage::Distribution< ValueType, uint32_t >
getReward() conststorm::storage::DistributionWithReward< ValueType, StateType >
iterator typedefstorm::storage::Distribution< ValueType, uint32_t >
less(DistributionWithReward< ValueType, StateType > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) conststorm::storage::DistributionWithReward< ValueType, StateType >
storm::storage::Distribution< ValueType, uint32_t >::less(Distribution< ValueType, uint32_t > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) conststorm::storage::Distribution< ValueType, uint32_t >
normalize()storm::storage::Distribution< ValueType, uint32_t >
operator=(DistributionWithReward const &other)=defaultstorm::storage::DistributionWithReward< ValueType, StateType >
operator=(DistributionWithReward &&other)=defaultstorm::storage::DistributionWithReward< ValueType, StateType >
storm::storage::Distribution< ValueType, uint32_t >::operator=(Distribution const &other)=defaultstorm::storage::Distribution< ValueType, uint32_t >
removeProbability(uint32_t const &state, ValueType const &probability, storm::utility::ConstantsComparator< ValueType > const &comparator)storm::storage::Distribution< ValueType, uint32_t >
reserve(uint64_t size)storm::storage::Distribution< ValueType, uint32_t >
sampleFromDistribution(ValueType const &quantile) conststorm::storage::Distribution< ValueType, uint32_t >
scale(uint32_t const &state)storm::storage::Distribution< ValueType, uint32_t >
setReward(ValueType const &reward)storm::storage::DistributionWithReward< ValueType, StateType >
shiftProbability(uint32_t const &fromState, uint32_t const &toState, ValueType const &probability, storm::utility::ConstantsComparator< ValueType > const &comparator)storm::storage::Distribution< ValueType, uint32_t >
size() conststorm::storage::Distribution< ValueType, uint32_t >