Include file:
#include "mcrl2/lts/probabilistic_state.h
mcrl2::lts::
probabilistic_state
¶A class that contains a probabilistic state.
A probabilistic state is essentially a sequence of pairs of a state and a probability. The probability indicates the likelyhood with which that particular state can be reached. The sum of all probabilities in a probabilistic state is one.
const_iterator
¶typedef for std::vector< state_probability_pair >::const_iterator
iterator
¶typedef for std::vector< state_probability_pair >::iterator
probability_t
¶typedef for PROBABILITY
state_probability_pair
¶typedef for lps::state_probability_pair< STATE, PROBABILITY >
state_t
¶typedef for STATE
m_probabilistic_state
¶
add
(const STATE &s, const PROBABILITY &p)¶Add a state with a probability to the probabilistic state.
Parameters:
begin
() const¶Gets an iterator over pairs of state and probability.
Returns: The iterator pointing at the first state probability pair.
begin
()¶Gets an iterator over pairs of state and probability.
Returns: The iterator pointing at the first state probability pair.
clear
()¶Makes the probabilistic state empty.
end
() const¶Gets the end iterator over pairs of state and probability.
Returns: The iterator pointing beyond the last state probability pair in a probabilistic state.
end
()¶Gets the end iterator over pairs of state and probability.
Returns: The iterator pointing beyond the last state probability pair in a probabilistic state.
operator==
(const probabilistic_state &other) const¶Standard equality operator.
Returns: Returns true iff the probabilistic states are equal.
probabilistic_state
()¶Default constructor.
probabilistic_state
(const STATE &s)¶Constructor of a probabilistic state from a non probabilistic state.
Parameters:
Returns: The generated probabilistic state.
probabilistic_state
(const probabilistic_state &s)¶Copy constructor.
probabilistic_state
(const STATE_PROBABILITY_PAIR_ITERATOR begin, const STATE_PROBABILITY_PAIR_ITERATOR end)¶Creates a probabilistic state on the basis of state_probability_pairs.
Parameters:
Returns: Resulting probabilistic state.
set
(const STATE &s)¶Set this probabilistic state to a single state with probability one.
It is assumed that the given state probability pair does not have any element.
Parameters:
shrink_to_fit
()¶If a probabilistic state is ready, shrinking it to minimal size might be useful to reduce its memory usage. A requirement is that the sum of the probabilities must be one.
size
() const¶Gets the number of probabilistic labels of this LTS.
Returns: The number of action labels of this LTS.
swap
(probabilistic_state &s)¶Swap this probabilistic state.
Parameters: