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

Public Attributes

distribution_key_type key
 
std::vector< std::list< transition * > > incoming_transitions_per_label
 

Detailed Description

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

Definition at line 145 of file liblts_pbisim_bem.h.

Member Data Documentation

◆ incoming_transitions_per_label

template<class LTS_TYPE >
std::vector< std::list<transition*> > mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::distribution_type::incoming_transitions_per_label

Definition at line 148 of file liblts_pbisim_bem.h.

◆ key

template<class LTS_TYPE >
distribution_key_type mcrl2::lts::detail::prob_bisim_partitioner_bem< LTS_TYPE >::distribution_type::key

Definition at line 147 of file liblts_pbisim_bem.h.


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