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

#include <liblts_pbisim_grv.h>

Inheritance diagram for mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_state_type:

Public Attributes
block_key_type	parent_block
std::vector< probabilistic_transition_type * >	incoming_transitions
bool	mark_state
std::size_t	residual_transition_cnt
std::size_t *	transition_count_ptr

Additional Inherited Members
Protected Attributes inherited from mcrl2::lts::detail::embedded_list_node< action_state_type >
action_state_type *	m_next
action_state_type *	m_prev

Detailed Description

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

Definition at line 167 of file liblts_pbisim_grv.h.

Member Data Documentation

incoming_transitions

template<class LTS_TYPE >

std::vector<probabilistic_transition_type*> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_state_type::incoming_transitions

Definition at line 170 of file liblts_pbisim_grv.h.

mark_state

template<class LTS_TYPE >

bool mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_state_type::mark_state

Definition at line 173 of file liblts_pbisim_grv.h.

parent_block

template<class LTS_TYPE >

block_key_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_state_type::parent_block

Definition at line 169 of file liblts_pbisim_grv.h.

residual_transition_cnt

template<class LTS_TYPE >

std::size_t mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_state_type::residual_transition_cnt

Definition at line 174 of file liblts_pbisim_grv.h.

transition_count_ptr

template<class LTS_TYPE >

std::size_t* mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::action_state_type::transition_count_ptr

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