#include <Distribution.h>

Inheritance diagram for storm::storage::Distribution< ValueType, StateType >:

Public Types
typedef boost::container::flat_map< StateType, ValueType >	container_type

typedef container_type::iterator	iterator

typedef container_type::const_iterator	const_iterator

Public Member Functions
	Distribution ()
	Creates an empty distribution.

	Distribution (Distribution const &other)=default

Distribution &	operator= (Distribution const &other)=default

	Distribution (Distribution &&other)=default

Distribution &	operator= (Distribution &&other)=default

void	reserve (uint64_t size)

void	add (Distribution const &other)
	Adds the given distribution to the current one.

bool	equals (Distribution< ValueType, StateType > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) const
	Checks whether the two distributions specify the same probabilities to go to the same states.

void	addProbability (StateType const &state, ValueType const &probability)
	Assigns the given state the given probability under this distribution.

void	removeProbability (StateType const &state, ValueType const &probability, storm::utility::ConstantsComparator< ValueType > const &comparator)
	Removes the given probability mass of going to the given state.

void	shiftProbability (StateType const &fromState, StateType const &toState, ValueType const &probability, storm::utility::ConstantsComparator< ValueType > const &comparator)
	Removes the probability mass from one state and adds it to another.

iterator	begin ()
	Retrieves an iterator to the elements in this distribution.

const_iterator	begin () const
	Retrieves an iterator to the elements in this distribution.

const_iterator	cbegin () const
	Retrieves an iterator to the elements in this distribution.

iterator	end ()
	Retrieves an iterator past the elements in this distribution.

const_iterator	end () const
	Retrieves an iterator past the elements in this distribution.

const_iterator	cend () const
	Retrieves an iterator past the elements in this distribution.

void	scale (StateType const &state)
	Scales the distribution by multiplying all the probabilities with 1/p where p is the probability of moving to the given state and sets the probability of moving to the given state to zero.

std::size_t	size () const
	Retrieves the size of the distribution, i.e.

bool	less (Distribution< ValueType, StateType > const &other, storm::utility::ConstantsComparator< ValueType > const &comparator) const

ValueType	getProbability (StateType const &state) const
	Returns the probability of the given state.

void	normalize ()
	Normalizes the distribution such that the values sum up to one.

StateType	sampleFromDistribution (ValueType const &quantile) const
	Given a value q, find the event in the ordered distribution that corresponds to this prob.

Detailed Description

template<typename ValueType, typename StateType = uint32_t>
class storm::storage::Distribution< ValueType, StateType >

Definition at line 16 of file Distribution.h.

Member Typedef Documentation

◆ const_iterator

template<typename ValueType , typename StateType = uint32_t>

typedef container_type::const_iterator storm::storage::Distribution< ValueType, StateType >::const_iterator

Definition at line 20 of file Distribution.h.

◆ container_type

template<typename ValueType , typename StateType = uint32_t>

typedef boost::container::flat_map<StateType, ValueType> storm::storage::Distribution< ValueType, StateType >::container_type

Definition at line 18 of file Distribution.h.

◆ iterator

template<typename ValueType , typename StateType = uint32_t>

typedef container_type::iterator storm::storage::Distribution< ValueType, StateType >::iterator

Definition at line 19 of file Distribution.h.

Constructor & Destructor Documentation

◆ Distribution() [1/3]

template<typename ValueType , typename StateType >

storm::storage::Distribution< ValueType, StateType >::Distribution ( )

Creates an empty distribution.

Definition at line 18 of file Distribution.cpp.

◆ Distribution() [2/3]

template<typename ValueType , typename StateType = uint32_t>

storm::storage::Distribution< ValueType, StateType >::Distribution ( Distribution< ValueType, StateType > const & other )

default

◆ Distribution() [3/3]

template<typename ValueType , typename StateType = uint32_t>

storm::storage::Distribution< ValueType, StateType >::Distribution ( Distribution< ValueType, StateType > && other )

default

Member Function Documentation

◆ add()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::add ( Distribution< ValueType, StateType > const & other )

Adds the given distribution to the current one.

Definition at line 28 of file Distribution.cpp.

◆ addProbability()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::addProbability	(	StateType const &	state,
		ValueType const &	probability
	)

Assigns the given state the given probability under this distribution.

Parameters

state	The state to which to assign the probability.
probability	The probability to assign.

Definition at line 60 of file Distribution.cpp.

◆ begin() [1/2]

template<typename ValueType , typename StateType >

Distribution< ValueType, StateType >::iterator storm::storage::Distribution< ValueType, StateType >::begin ( )

Retrieves an iterator to the elements in this distribution.

Returns: The iterator to the elements in this distribution.

Definition at line 86 of file Distribution.cpp.

◆ begin() [2/2]

template<typename ValueType , typename StateType >

Distribution< ValueType, StateType >::const_iterator storm::storage::Distribution< ValueType, StateType >::begin ( ) const

Retrieves an iterator to the elements in this distribution.

Returns: The iterator to the elements in this distribution.

Definition at line 91 of file Distribution.cpp.

◆ cbegin()

template<typename ValueType , typename StateType >

Distribution< ValueType, StateType >::const_iterator storm::storage::Distribution< ValueType, StateType >::cbegin ( ) const

Retrieves an iterator to the elements in this distribution.

Returns: The iterator to the elements in this distribution.

Definition at line 96 of file Distribution.cpp.

◆ cend()

template<typename ValueType , typename StateType >

Distribution< ValueType, StateType >::const_iterator storm::storage::Distribution< ValueType, StateType >::cend ( ) const

Retrieves an iterator past the elements in this distribution.

Returns: The iterator past the elements in this distribution.

Definition at line 111 of file Distribution.cpp.

◆ end() [1/2]

template<typename ValueType , typename StateType >

Distribution< ValueType, StateType >::iterator storm::storage::Distribution< ValueType, StateType >::end ( )

Retrieves an iterator past the elements in this distribution.

Returns: The iterator past the elements in this distribution.

Definition at line 101 of file Distribution.cpp.

◆ end() [2/2]

template<typename ValueType , typename StateType >

Distribution< ValueType, StateType >::const_iterator storm::storage::Distribution< ValueType, StateType >::end ( ) const

Retrieves an iterator past the elements in this distribution.

Returns: The iterator past the elements in this distribution.

Definition at line 106 of file Distribution.cpp.

◆ equals()

template<typename ValueType , typename StateType >

bool storm::storage::Distribution< ValueType, StateType >::equals	(	Distribution< ValueType, StateType > const &	other,
		storm::utility::ConstantsComparator< ValueType > const &	comparator
	)		const

Checks whether the two distributions specify the same probabilities to go to the same states.

Parameters

other The distribution with which the current distribution is to be compared.

Returns: True iff the two distributions are equal.

Definition at line 36 of file Distribution.cpp.

◆ getProbability()

template<typename ValueType , typename StateType >

ValueType storm::storage::Distribution< ValueType, StateType >::getProbability ( StateType const & state ) const

Returns the probability of the given state.

Parameters

state The state for which the probability is returned.

Returns: The probability of the given state.

Definition at line 168 of file Distribution.cpp.

◆ less()

template<typename ValueType , typename StateType >

bool storm::storage::Distribution< ValueType, StateType >::less	(	Distribution< ValueType, StateType > const &	other,
		storm::utility::ConstantsComparator< ValueType > const &	comparator
	)		const

Definition at line 145 of file Distribution.cpp.

◆ normalize()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::normalize ( )

Normalizes the distribution such that the values sum up to one.

Definition at line 178 of file Distribution.cpp.

◆ operator=() [1/2]

template<typename ValueType , typename StateType = uint32_t>

Distribution & storm::storage::Distribution< ValueType, StateType >::operator= ( Distribution< ValueType, StateType > && other )

default

◆ operator=() [2/2]

template<typename ValueType , typename StateType = uint32_t>

Distribution & storm::storage::Distribution< ValueType, StateType >::operator= ( Distribution< ValueType, StateType > const & other )

default

◆ removeProbability()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::removeProbability	(	StateType const &	state,
		ValueType const &	probability,
		storm::utility::ConstantsComparator< ValueType > const &	comparator
	)

Removes the given probability mass of going to the given state.

Parameters

state	The state for which to remove the probability.
probability	The probability to remove.
comparator	A comparator that is used to determine if the remaining probability is zero. If so, the entry is removed.

Definition at line 68 of file Distribution.cpp.

◆ reserve()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::reserve ( uint64_t size )

Definition at line 23 of file Distribution.cpp.

◆ sampleFromDistribution()

template<typename ValueType , typename StateType >

StateType storm::storage::Distribution< ValueType, StateType >::sampleFromDistribution ( ValueType const & quantile ) const

Given a value q, find the event in the ordered distribution that corresponds to this prob.

Example: Given a (sub)distribution { x -> 0.4, y -> 0.3, z -> 0.2 }, A value q in [0,0.4] yields x, q in [0.4, 0.7] yields y, and q in [0.7, 0.9] yields z. Any other value for q yields undefined behavior.

Parameters

quantile q, a value in the CDF.

Returns: A state

Definition at line 209 of file Distribution.cpp.

◆ scale()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::scale ( StateType const & state )

Scales the distribution by multiplying all the probabilities with 1/p where p is the probability of moving to the given state and sets the probability of moving to the given state to zero.

If the probability is already zero, this operation has no effect.

Parameters

state The state whose associated probability is used to scale the distribution.

Definition at line 116 of file Distribution.cpp.

◆ shiftProbability()

template<typename ValueType , typename StateType >

void storm::storage::Distribution< ValueType, StateType >::shiftProbability	(	StateType const &	fromState,
		StateType const &	toState,
		ValueType const &	probability,
		storm::utility::ConstantsComparator< ValueType > const &	comparator
	)

Removes the probability mass from one state and adds it to another.

Parameters

fromState	The state from which to take the probability mass.
toState	The state from which to which to add the probability mass.
probability	The probability mass to shift.
comparator	A comparator that is used to determine if the remaining probability is zero. If so, the entry is removed.

Definition at line 79 of file Distribution.cpp.

◆ size()

template<typename ValueType , typename StateType >

std::size_t storm::storage::Distribution< ValueType, StateType >::size ( ) const

Retrieves the size of the distribution, i.e.

the size of the support set.

Definition at line 129 of file Distribution.cpp.

The documentation for this class was generated from the following files:

src/storm/storage/Distribution.h
src/storm/storage/Distribution.cpp

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ const_iterator

◆ container_type

◆ iterator

Constructor & Destructor Documentation

◆ Distribution() [1/3]

◆ Distribution() [2/3]

◆ Distribution() [3/3]

Member Function Documentation

◆ add()

◆ addProbability()

◆ begin() [1/2]

◆ begin() [2/2]

◆ cbegin()

◆ cend()

◆ end() [1/2]

◆ end() [2/2]

◆ equals()

◆ getProbability()

◆ less()

◆ normalize()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ removeProbability()

◆ reserve()

◆ sampleFromDistribution()

◆ scale()

◆ shiftProbability()

◆ size()