mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type Struct Reference

Public Member Functions

void init_node ()
 

Public Attributes

std::list< state_typestates
 
std::size_t count
 
tree_typeleft
 
tree_typeright
 

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type

Definition at line 178 of file liblts_pbisim_bem.h.

Member Function Documentation

◆ init_node()

template<class LTS_TYPE >
void mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::init_node ( )
inline

Definition at line 185 of file liblts_pbisim_bem.h.

Member Data Documentation

◆ count

template<class LTS_TYPE >
std::size_t mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::count

Definition at line 181 of file liblts_pbisim_bem.h.

◆ left

template<class LTS_TYPE >
tree_type* mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::left

Definition at line 182 of file liblts_pbisim_bem.h.

◆ right

template<class LTS_TYPE >
tree_type* mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::right

Definition at line 183 of file liblts_pbisim_bem.h.

◆ states

template<class LTS_TYPE >
std::list<state_type> mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::states

Definition at line 180 of file liblts_pbisim_bem.h.


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