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