mcrl2::lts::detail::bisim_partitioner_minimal_depth< 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
level_type	level = 0UL
std::vector< state_type >	states
std::vector< transition >	transitions
std::set< std::pair< label_type, block_index_type > >	outgoing_observations

Detailed Description

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

Definition at line 137 of file liblts_bisim_minimal_depth.h.

Member Function Documentation

swap()

template<class LTS_TYPE >

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

inlinenoexcept

Definition at line 149 of file liblts_bisim_minimal_depth.h.

Member Data Documentation

block_index

template<class LTS_TYPE >

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

Definition at line 140 of file liblts_bisim_minimal_depth.h.

level

template<class LTS_TYPE >

level_type mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::block::level = 0UL

Definition at line 142 of file liblts_bisim_minimal_depth.h.

outgoing_observations

template<class LTS_TYPE >

std::set<std::pair<label_type, block_index_type> > mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::block::outgoing_observations

Definition at line 147 of file liblts_bisim_minimal_depth.h.

parent_block_index

template<class LTS_TYPE >

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

Definition at line 141 of file liblts_bisim_minimal_depth.h.

state_index

template<class LTS_TYPE >

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

Definition at line 139 of file liblts_bisim_minimal_depth.h.

states

template<class LTS_TYPE >

std::vector<state_type> mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::block::states

Definition at line 145 of file liblts_bisim_minimal_depth.h.

transitions

template<class LTS_TYPE >

std::vector<transition> mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::block::transitions

Definition at line 146 of file liblts_bisim_minimal_depth.h.

---

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

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