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

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
 

Detailed Description

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

Definition at line 158 of file liblts_pbisim_bem.h.

Member Data Documentation

◆ action

template<class LTS_TYPE >
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.

◆ distributions

template<class LTS_TYPE >
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.

◆ equivalent_step_class

template<class LTS_TYPE >
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.

◆ is_in_new_step_classes

template<class LTS_TYPE >
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.

◆ key

template<class LTS_TYPE >
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.

◆ prev_states

template<class LTS_TYPE >
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.


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