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

#include <liblts_pbisim_grv.h>

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

Public Attributes
state_key_type	from
label_type	label
state_key_type	to
std::size_t *	state_to_constellation_count_ptr

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

Detailed Description

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

Definition at line 152 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 >::action_transition_type::from

Definition at line 154 of file liblts_pbisim_grv.h.

label

template<class LTS_TYPE >

label_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_transition_type::label

Definition at line 155 of file liblts_pbisim_grv.h.

state_to_constellation_count_ptr

template<class LTS_TYPE >

std::size_t* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_transition_type::state_to_constellation_count_ptr

Definition at line 157 of file liblts_pbisim_grv.h.

to

template<class LTS_TYPE >

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

Definition at line 156 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