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

Public Member Functions
void	swap (block &b)

Public Attributes
state_type	state_index
block_index_type	block_index
block_index_type	parent_block_index
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 222 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 )

inline

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

Definition at line 225 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 229 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 232 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 235 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

Definition at line 226 of file liblts_bisim.h.

state_index

template<class LTS_TYPE >

state_type mcrl2::lts::detail::bisim_partitioner< LTS_TYPE >::block::state_index

Definition at line 224 of file liblts_bisim.h.

---

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

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