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

Public Member Functions
void	swap (block &b) noexcept
bool	operator== (const block &other)
bool	operator!= (const block &other)

Public Attributes
state_type	state_index = 0UL
block_index_type	block_index = 0UL
block_index_type	parent_block_index = 0UL
level_type	level = 0UL
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 163 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 158 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 )

inlinenoexcept

Definition at line 150 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 = 0UL

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 = 0UL

Definition at line 147 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 = 0UL

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 148 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 = 0UL

Definition at line 143 of file liblts_branching_bisim_minimal_depth.h.

---

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

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