information about a transition stored in m_outgoing_transitions More...

#include <liblts_bisim_gj.h>

Classes
union	iterator_or_counter
	pointer to the corresponding entry in m_BLC_transitions More...

Public Member Functions
	outgoing_transition_type ()

	outgoing_transition_type (const outgoing_transitions_it sssaC)

Public Attributes
union mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter	ref

outgoing_transitions_it	start_same_saC

Detailed Description

information about a transition stored in m_outgoing_transitions

Definition at line 724 of file liblts_bisim_gj.h.

Constructor & Destructor Documentation

◆ outgoing_transition_type() [1/2]

mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::outgoing_transition_type ( )

inline

Definition at line 753 of file liblts_bisim_gj.h.

◆ outgoing_transition_type() [2/2]

mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::outgoing_transition_type ( const outgoing_transitions_it sssaC )

inline

Definition at line 756 of file liblts_bisim_gj.h.

Member Data Documentation

◆ ref

union mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::ref

◆ start_same_saC

outgoing_transitions_it mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::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 750 of file liblts_bisim_gj.h.

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

lts/include/mcrl2/lts/detail/liblts_bisim_gj.h

Classes

Public Member Functions