mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type Struct Reference

#include <liblts_pbisim_grv.h>

Public Member Functions

 probabilistic_mark_type (probabilistic_block_type &B)
 

Public Attributes

probabilistic_block_type * probabilistic_block
 
embedded_list< probabilistic_state_type > left
 
std::vector< embedded_list< probabilistic_state_type > > middle
 
embedded_list< probabilistic_state_type > right
 
embedded_list< probabilistic_state_type > * large_block_ptr
 

Detailed Description

template<class LTS_TYPE>
struct mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type

Definition at line 230 of file liblts_pbisim_grv.h.

Constructor & Destructor Documentation

◆ probabilistic_mark_type()

template<class LTS_TYPE >
mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type::probabilistic_mark_type ( probabilistic_block_type &  B)
inline

Definition at line 238 of file liblts_pbisim_grv.h.

Member Data Documentation

◆ large_block_ptr

template<class LTS_TYPE >
embedded_list<probabilistic_state_type>* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type::large_block_ptr

Definition at line 236 of file liblts_pbisim_grv.h.

◆ left

template<class LTS_TYPE >
embedded_list<probabilistic_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type::left

Definition at line 233 of file liblts_pbisim_grv.h.

◆ middle

template<class LTS_TYPE >
std::vector< embedded_list<probabilistic_state_type> > mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type::middle

Definition at line 234 of file liblts_pbisim_grv.h.

◆ probabilistic_block

template<class LTS_TYPE >
probabilistic_block_type* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type::probabilistic_block

Definition at line 232 of file liblts_pbisim_grv.h.

◆ right

template<class LTS_TYPE >
embedded_list<probabilistic_state_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_mark_type::right

Definition at line 235 of file liblts_pbisim_grv.h.

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