mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block Struct Reference

Public Member Functions

void swap (block &b)
 
bool operator== (const block &other)
 
bool operator!= (const block &other)
 

Public Attributes

state_type state_index
 
block_index_type block_index
 
block_index_type parent_block_index
 
level_type level
 
signature_type sig
 

Detailed Description

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

Definition at line 141 of file liblts_branching_bisim_minimal_depth.h.

Member Function Documentation

◆ operator!=()

template<class LTS_TYPE >
bool mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::operator!= ( const block other)
inline

Definition at line 162 of file liblts_branching_bisim_minimal_depth.h.

◆ operator==()

template<class LTS_TYPE >
bool mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::operator== ( const block other)
inline

Definition at line 157 of file liblts_branching_bisim_minimal_depth.h.

◆ swap()

template<class LTS_TYPE >
void mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::swap ( block b)
inline

Definition at line 149 of file liblts_branching_bisim_minimal_depth.h.

Member Data Documentation

◆ block_index

template<class LTS_TYPE >
block_index_type mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::block_index

Definition at line 144 of file liblts_branching_bisim_minimal_depth.h.

◆ level

template<class LTS_TYPE >
level_type mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::level

Definition at line 146 of file liblts_branching_bisim_minimal_depth.h.

◆ parent_block_index

template<class LTS_TYPE >
block_index_type mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::parent_block_index

Definition at line 145 of file liblts_branching_bisim_minimal_depth.h.

◆ sig

template<class LTS_TYPE >
signature_type mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::sig

Definition at line 147 of file liblts_branching_bisim_minimal_depth.h.

◆ state_index

template<class LTS_TYPE >
state_type mcrl2::lts::detail::branching_bisim_partitioner_minimal_depth< LTS_TYPE >::block::state_index

Definition at line 143 of file liblts_branching_bisim_minimal_depth.h.


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