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

#include <liblts_pbisim_grv.h>

Public Attributes
embedded_list< action_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 >::action_constellation_type

Definition at line 241 of file liblts_pbisim_grv.h.

Member Data Documentation

blocks

template<class LTS_TYPE >

embedded_list<action_block_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_constellation_type::blocks

Definition at line 243 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 >::action_constellation_type::number_of_states

Definition at line 244 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