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.
mcrl2::lts::probabilistic_state::
const_iterator
¶typedef for std::vector< state_probability_pair >::const_iterator
mcrl2::lts::probabilistic_state::
iterator
¶typedef for std::vector< state_probability_pair >::iterator
mcrl2::lts::probabilistic_state::
probability_t
¶typedef for PROBABILITY
mcrl2::lts::probabilistic_state::
state_probability_pair
¶typedef for lps::state_probability_pair< STATE, PROBABILITY >
mcrl2::lts::probabilistic_state::
state_t
¶typedef for STATE
mcrl2::lts::probabilistic_state::
m_probabilistic_state
¶add
(const STATE &s, const PROBABILITY &p)¶Add a state with a probability to the probabilistic state.
Parameters:
begin
()Gets an iterator over pairs of state and probability.
Returns: The iterator pointing at the first state probability pair.
begin
() constGets 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
()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
() constGets 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 &s)¶Copy assignment constructor.
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 probabilistic_state &s)¶Copy 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 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
() constGets 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: