mCRL2
|
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) | |
pointer to the corresponding entry in m_BLC_transitions
Definition at line 130 of file liblts_bisim_gj.h.
|
inline |
Construct the object as a transition index.
Definition at line 137 of file liblts_bisim_gj.h.
|
inline |
Destruct the object as an iterator.
Definition at line 147 of file liblts_bisim_gj.h.
|
inline |
Convert the object from counter to iterator.
Definition at line 141 of file liblts_bisim_gj.h.
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.
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.