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

#include <liblts_pbisim_grv.h>

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

Public Member Functions
	action_block_type ()

Public Attributes
constellation_key_type	parent_constellation
embedded_list< action_state_type >	states
embedded_list< probabilistic_transition_type >	incoming_probabilistic_transitions
action_mark_type *	marking

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

Detailed Description

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

Definition at line 191 of file liblts_pbisim_grv.h.

Constructor & Destructor Documentation

action_block_type()

template<class LTS_TYPE >

mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_block_type::action_block_type ( )

inline

Definition at line 198 of file liblts_pbisim_grv.h.

Member Data Documentation

incoming_probabilistic_transitions

template<class LTS_TYPE >

embedded_list<probabilistic_transition_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_block_type::incoming_probabilistic_transitions

Definition at line 195 of file liblts_pbisim_grv.h.

marking

template<class LTS_TYPE >

action_mark_type* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_block_type::marking

Definition at line 196 of file liblts_pbisim_grv.h.

parent_constellation

template<class LTS_TYPE >

constellation_key_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_block_type::parent_constellation

Definition at line 193 of file liblts_pbisim_grv.h.

states

template<class LTS_TYPE >

embedded_list<action_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_block_type::states

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