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

This is the complete list of members for storm::storage::Distribution< 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 >
end()storm::storage::Distribution< ValueType, StateType >
end() conststorm::storage::Distribution< ValueType, StateType >
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 >
iterator typedefstorm::storage::Distribution< ValueType, StateType >
less(Distribution< ValueType, StateType > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) conststorm::storage::Distribution< ValueType, StateType >
normalize()storm::storage::Distribution< ValueType, StateType >
operator=(Distribution const &other)=defaultstorm::storage::Distribution< ValueType, StateType >
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 >
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 >