information about a transition stored in m_outgoing_transitions More...

#include <liblts_bisim_gj_lazy_BLC.h>

Public Member Functions
	outgoing_transition_type_lb ()=default

	outgoing_transition_type_lb (const outgoing_transitions_it_lb sssaC)

Public Attributes
BLC_list_iterator	ref_BLC_transitions
	pointer to the corresponding entry in m_BLC_transitions

outgoing_transitions_it_lb	start_same_saC

Detailed Description

information about a transition stored in m_outgoing_transitions

Definition at line 175 of file liblts_bisim_gj_lazy_BLC.h.

Constructor & Destructor Documentation

◆ outgoing_transition_type_lb() [1/2]

mcrl2::lts::detail::bisimulation_gj_lazy_BLC::outgoing_transition_type_lb::outgoing_transition_type_lb ( )

default

◆ outgoing_transition_type_lb() [2/2]

mcrl2::lts::detail::bisimulation_gj_lazy_BLC::outgoing_transition_type_lb::outgoing_transition_type_lb ( const outgoing_transitions_it_lb sssaC )

inline

Definition at line 189 of file liblts_bisim_gj_lazy_BLC.h.

Member Data Documentation

◆ ref_BLC_transitions

BLC_list_iterator mcrl2::lts::detail::bisimulation_gj_lazy_BLC::outgoing_transition_type_lb::ref_BLC_transitions

pointer to the corresponding entry in m_BLC_transitions

Definition at line 178 of file liblts_bisim_gj_lazy_BLC.h.

◆ start_same_saC

outgoing_transitions_it_lb mcrl2::lts::detail::bisimulation_gj_lazy_BLC::outgoing_transition_type_lb::start_same_saC

this pointer is used to find transitions with the same source state, action label, and target constellation (Transitions are grouped according to these in m_outgoing_transitions.) For most transitions, it points to the last transition with the same source state, action label, and target constellation; but if this transition is the last one in the group, start_same_saC points to the first transition in the group.

Definition at line 184 of file liblts_bisim_gj_lazy_BLC.h.

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

lts/include/mcrl2/lts/detail/liblts_bisim_gj_lazy_BLC.h

Public Member Functions