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

#include <liblts_pbisim_grv.h>

Public Member Functions

 action_mark_type (action_block_type &B)
 

Public Attributes

action_block_type * action_block
 
embedded_list< action_state_type > left
 
embedded_list< action_state_type > middle
 
embedded_list< action_state_type > right
 
embedded_list< action_state_type > * large_block_ptr
 

Detailed Description

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

Definition at line 201 of file liblts_pbisim_grv.h.

Constructor & Destructor Documentation

◆ action_mark_type()

template<class LTS_TYPE >
mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_mark_type::action_mark_type ( action_block_type &  B)
inline

Definition at line 209 of file liblts_pbisim_grv.h.

Member Data Documentation

◆ action_block

template<class LTS_TYPE >
action_block_type* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_mark_type::action_block

Definition at line 203 of file liblts_pbisim_grv.h.

◆ large_block_ptr

template<class LTS_TYPE >
embedded_list<action_state_type>* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_mark_type::large_block_ptr

Definition at line 207 of file liblts_pbisim_grv.h.

◆ left

template<class LTS_TYPE >
embedded_list<action_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_mark_type::left

Definition at line 204 of file liblts_pbisim_grv.h.

◆ middle

template<class LTS_TYPE >
embedded_list<action_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_mark_type::middle

Definition at line 205 of file liblts_pbisim_grv.h.

◆ right

template<class LTS_TYPE >
embedded_list<action_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_mark_type::right

Definition at line 206 of file liblts_pbisim_grv.h.

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