mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_partitioner_minimal_depth< 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
 
level_type level
 
std::vector< state_typestates
 
std::vector< transitiontransitions
 
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 141 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)
inline

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

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

Definition at line 146 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 151 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

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

Definition at line 143 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 149 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 150 of file liblts_bisim_minimal_depth.h.


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