mCRL2
|
Public Attributes | |
step_class_key_type | key |
label_type | action |
std::list< distribution_type * > | distributions |
std::vector< bool > | prev_states |
bool | is_in_new_step_classes |
std::size_t | equivalent_step_class |
Definition at line 158 of file liblts_pbisim_bem.h.
label_type mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::step_class_type::action |
Definition at line 160 of file liblts_pbisim_bem.h.
std::list<distribution_type*> mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::step_class_type::distributions |
Definition at line 161 of file liblts_pbisim_bem.h.
std::size_t mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::step_class_type::equivalent_step_class |
Definition at line 164 of file liblts_pbisim_bem.h.
bool mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::step_class_type::is_in_new_step_classes |
Definition at line 163 of file liblts_pbisim_bem.h.
step_class_key_type mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::step_class_type::key |
Definition at line 159 of file liblts_pbisim_bem.h.
std::vector< bool > mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::step_class_type::prev_states |
Definition at line 162 of file liblts_pbisim_bem.h.