mCRL2
|
Public Member Functions | |
void | init_node () |
Public Attributes | |
std::list< state_type > | states |
std::size_t | count |
tree_type * | left |
tree_type * | right |
Definition at line 178 of file liblts_pbisim_bem.h.
|
inline |
Definition at line 185 of file liblts_pbisim_bem.h.
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.
tree_type* mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::left |
Definition at line 182 of file liblts_pbisim_bem.h.
tree_type* mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::tree_type::right |
Definition at line 183 of file liblts_pbisim_bem.h.
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.