mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter Union Reference

pointer to the corresponding entry in m_BLC_transitions More...

#include <liblts_bisim_gj.h>

Public Member Functions

 iterator_or_counter ()
 Construct the object as a transition index.
 
void convert_to_iterator (const BLC_list_iterator other)
 Convert the object from counter to iterator.
 
 ~iterator_or_counter ()
 Destruct the object as an iterator.
 

Public Attributes

transition_index transitions
 transition index (used during initialisation)
 
BLC_list_iterator BLC_transitions
 pointer to the corresponding entry in m_BLC_transitions (used during main part of the algorithm)
 

Detailed Description

pointer to the corresponding entry in m_BLC_transitions

Definition at line 130 of file liblts_bisim_gj.h.

Constructor & Destructor Documentation

◆ iterator_or_counter()

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

Construct the object as a transition index.

Definition at line 137 of file liblts_bisim_gj.h.

◆ ~iterator_or_counter()

mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter::~iterator_or_counter ( )
inline

Destruct the object as an iterator.

Definition at line 147 of file liblts_bisim_gj.h.

Member Function Documentation

◆ convert_to_iterator()

void mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter::convert_to_iterator ( const BLC_list_iterator  other)
inline

Convert the object from counter to iterator.

Definition at line 141 of file liblts_bisim_gj.h.

Member Data Documentation

◆ BLC_transitions

BLC_list_iterator mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter::BLC_transitions

pointer to the corresponding entry in m_BLC_transitions (used during main part of the algorithm)

Definition at line 135 of file liblts_bisim_gj.h.

◆ transitions

transition_index mcrl2::lts::detail::bisimulation_gj::outgoing_transition_type::iterator_or_counter::transitions

transition index (used during initialisation)

Definition at line 133 of file liblts_bisim_gj.h.


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