mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_constellation_type Struct Reference

#include <liblts_pbisim_grv.h>

Public Attributes
embedded_list< probabilistic_block_type >	blocks
std::size_t	number_of_states

Detailed Description

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

Definition at line 247 of file liblts_pbisim_grv.h.

Member Data Documentation

blocks

template<class LTS_TYPE >

embedded_list<probabilistic_block_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_constellation_type::blocks

Definition at line 249 of file liblts_pbisim_grv.h.

number_of_states

template<class LTS_TYPE >

std::size_t mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_constellation_type::number_of_states

Definition at line 250 of file liblts_pbisim_grv.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_pbisim_grv.h