mCRL2
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
mcrl2::lts::detail::bisimulation_gj::transition_type Struct Reference

#include <liblts_bisim_gj.h>

Public Member Functions

template<class LTS_TYPE >
std::string debug_id_short (const bisim_partitioner_gj< LTS_TYPE > &partitioner) const
 print a short transition identification for debugging
 
template<class LTS_TYPE >
std::string debug_id (const bisim_partitioner_gj< LTS_TYPE > &partitioner) const
 print a transition identification for debugging
 

Public Attributes

linked_list< BLC_indicators >::iterator transitions_per_block_to_constellation
 
outgoing_transitions_it ref_outgoing_transitions
 
check_complexity::trans_gj_counter_t work_counter
 

Detailed Description

information about a transition The source, label and target of the transition are not stored here but in m_aut.get_transitions(), to save memory.

Definition at line 1019 of file liblts_bisim_gj.h.

Member Function Documentation

◆ debug_id()

template<class LTS_TYPE >
std::string mcrl2::lts::detail::bisimulation_gj::transition_type::debug_id ( const bisim_partitioner_gj< LTS_TYPE > &  partitioner) const
inline

print a transition identification for debugging

This function is only available if compiled in Debug mode.

Definition at line 1046 of file liblts_bisim_gj.h.

◆ debug_id_short()

template<class LTS_TYPE >
std::string mcrl2::lts::detail::bisimulation_gj::transition_type::debug_id_short ( const bisim_partitioner_gj< LTS_TYPE > &  partitioner) const
inline

print a short transition identification for debugging

This function is only available if compiled in Debug mode.

Definition at line 1033 of file liblts_bisim_gj.h.

Member Data Documentation

◆ ref_outgoing_transitions

outgoing_transitions_it mcrl2::lts::detail::bisimulation_gj::transition_type::ref_outgoing_transitions

Definition at line 1024 of file liblts_bisim_gj.h.

◆ transitions_per_block_to_constellation

linked_list<BLC_indicators>::iterator mcrl2::lts::detail::bisimulation_gj::transition_type::transitions_per_block_to_constellation

Definition at line 1023 of file liblts_bisim_gj.h.

◆ work_counter

check_complexity::trans_gj_counter_t mcrl2::lts::detail::bisimulation_gj::transition_type::work_counter
mutable

Definition at line 1051 of file liblts_bisim_gj.h.

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