mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::block_type Struct Reference

Public Attributes

block_key_type key
 
std::list< state_typestates
 
bool is_in_new_blocks
 

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::block_type

Definition at line 151 of file liblts_pbisim_bem.h.

Member Data Documentation

◆ is_in_new_blocks

template<class LTS_TYPE >
bool mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::block_type::is_in_new_blocks

Definition at line 155 of file liblts_pbisim_bem.h.

◆ key

template<class LTS_TYPE >
block_key_type mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::block_type::key

Definition at line 153 of file liblts_pbisim_bem.h.

◆ states

template<class LTS_TYPE >
std::list<state_type> mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::block_type::states

Definition at line 154 of file liblts_pbisim_bem.h.


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