mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t Class Reference

#include <liblts_pbisim_grv.h>

Public Member Functions
void	initialize (const std::size_t number_of_labels)
const std::vector< embedded_list< action_transition_type > > &	transitions () const
void	add_grouped_transitions_to_block (probabilistic_block_type &block)
void	move_incoming_transitions (probabilistic_state_type s, embedded_list< action_transition_type > &transition_list_with_t)
void	add_transitions (std::vector< action_transition_type > &transitions)

Protected Member Functions
void	add_single_transition (action_transition_type &t)

Protected Attributes
std::vector< embedded_list< action_transition_type > >	m_transitions_per_label
std::stack< label_type >	m_occupancy_indicator

Detailed Description

template<class LTS_TYPE>
class mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t

Definition at line 257 of file liblts_pbisim_grv.h.

Member Function Documentation

add_grouped_transitions_to_block()

template<class LTS_TYPE >

void mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::add_grouped_transitions_to_block ( probabilistic_block_type &  block )

inline

Definition at line 289 of file liblts_pbisim_grv.h.

add_single_transition()

template<class LTS_TYPE >

void mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::add_single_transition ( action_transition_type &  t )

inlineprotected

Definition at line 265 of file liblts_pbisim_grv.h.

add_transitions()

template<class LTS_TYPE >

void mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::add_transitions ( std::vector< action_transition_type > &  transitions )

inline

Definition at line 311 of file liblts_pbisim_grv.h.

initialize()

template<class LTS_TYPE >

void mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::initialize ( const std::size_t  number_of_labels )

inline

Definition at line 277 of file liblts_pbisim_grv.h.

move_incoming_transitions()

template<class LTS_TYPE >

void mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::move_incoming_transitions ( probabilistic_state_type  s, embedded_list< action_transition_type > &  transition_list_with_t  )

inline

Definition at line 302 of file liblts_pbisim_grv.h.

transitions()

template<class LTS_TYPE >

const std::vector< embedded_list< action_transition_type > > & mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::transitions ( ) const

inline

Definition at line 282 of file liblts_pbisim_grv.h.

Member Data Documentation

m_occupancy_indicator

template<class LTS_TYPE >

std::stack<label_type> mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::m_occupancy_indicator

protected

Definition at line 263 of file liblts_pbisim_grv.h.

m_transitions_per_label

template<class LTS_TYPE >

std::vector< embedded_list<action_transition_type> > mcrl2::lts::detail::prob_bisim_partitioner_grv< LTS_TYPE >::transitions_per_label_t::m_transitions_per_label

protected

Definition at line 261 of file liblts_pbisim_grv.h.

---

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

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