mCRL2
|
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_type > | states |
std::vector< transition > | transitions |
std::set< std::pair< label_type, block_index_type > > | outgoing_observations |
Definition at line 141 of file liblts_bisim_minimal_depth.h.
|
inline |
Definition at line 153 of file liblts_bisim_minimal_depth.h.
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_type mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::block::level |
Definition at line 146 of file liblts_bisim_minimal_depth.h.
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.
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_type mcrl2::lts::detail::bisim_partitioner_minimal_depth< LTS_TYPE >::block::state_index |
Definition at line 143 of file liblts_bisim_minimal_depth.h.
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.
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.