mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type Struct Reference

#include <liblts_pbisim_grv.h>

Inheritance diagram for mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type:
mcrl2::lts::detail::embedded_list_node< probabilistic_block_type >

Public Member Functions

 probabilistic_block_type ()
 

Public Attributes

constellation_key_type parent_constellation
 
embedded_list< probabilistic_state_type > states
 
probabilistic_mark_type * marking
 
embedded_list< action_transition_type > incoming_action_transitions
 

Additional Inherited Members

- Protected Attributes inherited from mcrl2::lts::detail::embedded_list_node< probabilistic_block_type >
probabilistic_block_type * m_next
 
probabilistic_block_type * m_prev
 

Detailed Description

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

Definition at line 218 of file liblts_pbisim_grv.h.

Constructor & Destructor Documentation

◆ probabilistic_block_type()

template<class LTS_TYPE >
mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type::probabilistic_block_type ( )
inline

Definition at line 227 of file liblts_pbisim_grv.h.

Member Data Documentation

◆ incoming_action_transitions

template<class LTS_TYPE >
embedded_list<action_transition_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type::incoming_action_transitions

Definition at line 225 of file liblts_pbisim_grv.h.

◆ marking

template<class LTS_TYPE >
probabilistic_mark_type* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type::marking

Definition at line 222 of file liblts_pbisim_grv.h.

◆ parent_constellation

template<class LTS_TYPE >
constellation_key_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type::parent_constellation

Definition at line 220 of file liblts_pbisim_grv.h.

◆ states

template<class LTS_TYPE >
embedded_list<probabilistic_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_block_type::states

Definition at line 221 of file liblts_pbisim_grv.h.

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