mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_transition_type Struct Reference

#include <liblts_pbisim_grv.h>

Inheritance diagram for mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_transition_type:

Public Attributes
state_key_type	from
probability_label_type	label
state_key_type	to

Additional Inherited Members
Protected Attributes inherited from mcrl2::lts::detail::embedded_list_node< probabilistic_transition_type >
probabilistic_transition_type *	m_next
probabilistic_transition_type *	m_prev

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_transition_type

Definition at line 160 of file liblts_pbisim_grv.h.

Member Data Documentation

from

template<class LTS_TYPE >

state_key_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_transition_type::from

Definition at line 162 of file liblts_pbisim_grv.h.

label

template<class LTS_TYPE >

probability_label_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_transition_type::label

Definition at line 163 of file liblts_pbisim_grv.h.

to

template<class LTS_TYPE >

state_key_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_transition_type::to

Definition at line 164 of file liblts_pbisim_grv.h.

---

The documentation for this struct was generated from the following file:

• lts/include/mcrl2/lts/detail/liblts_pbisim_grv.h