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

#include <liblts_pbisim_grv.h>

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

Public Attributes
block_key_type	parent_block
std::vector< action_transition_type * >	incoming_transitions
bool	mark_state
probability_label_type	cumulative_probability

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

Detailed Description

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

Definition at line 178 of file liblts_pbisim_grv.h.

Member Data Documentation

cumulative_probability

template<class LTS_TYPE >

probability_label_type mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_state_type::cumulative_probability

Definition at line 185 of file liblts_pbisim_grv.h.

incoming_transitions

template<class LTS_TYPE >

std::vector<action_transition_type*> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::probabilistic_state_type::incoming_transitions

Definition at line 181 of file liblts_pbisim_grv.h.

mark_state

template<class LTS_TYPE >

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

Definition at line 184 of file liblts_pbisim_grv.h.

parent_block

template<class LTS_TYPE >

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

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