mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block Struct Reference

Public Member Functions
void	swap (block &b) noexcept

Public Attributes
state_type	state_index = 0UL
block_index_type	block_index = 0UL
block_index_type	parent_block_index = 0UL
std::vector< state_type >	bottom_states
std::vector< non_bottom_state >	non_bottom_states
std::vector< transition >	non_inert_transitions

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block

Definition at line 217 of file liblts_bisim.h.

Member Function Documentation

swap()

template<class LTS_TYPE >

void mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::swap ( block &  b )

inlinenoexcept

Definition at line 232 of file liblts_bisim.h.

Member Data Documentation

block_index

template<class LTS_TYPE >

block_index_type mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::block_index = 0UL

Definition at line 220 of file liblts_bisim.h.

bottom_states

template<class LTS_TYPE >

std::vector< state_type > mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::bottom_states

Definition at line 224 of file liblts_bisim.h.

non_bottom_states

template<class LTS_TYPE >

std::vector< non_bottom_state > mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::non_bottom_states

Definition at line 227 of file liblts_bisim.h.

non_inert_transitions

template<class LTS_TYPE >

std::vector< transition > mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::non_inert_transitions

Definition at line 230 of file liblts_bisim.h.

parent_block_index

template<class LTS_TYPE >

block_index_type mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::parent_block_index = 0UL

Definition at line 221 of file liblts_bisim.h.

state_index

template<class LTS_TYPE >

state_type mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::state_index = 0UL

Definition at line 219 of file liblts_bisim.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_bisim.h