information about a transition grouped per (source block, bunch) pair More...

Public Attributes
pred_entry *	pred = nullptr
	circular iterator to link the four transition arrays

block_bunch_slice_iter_or_null_t	slice
	block_bunch-slice of which this transition is part

Detailed Description

information about a transition grouped per (source block, bunch) pair

Definition at line 839 of file liblts_bisim_dnj.h.

Member Data Documentation

pred_entry* mcrl2::lts::detail::bisim_dnj::block_bunch_entry::pred = nullptr

circular iterator to link the four transition arrays

Definition at line 843 of file liblts_bisim_dnj.h.

block_bunch_slice_iter_or_null_t mcrl2::lts::detail::bisim_dnj::block_bunch_entry::slice

block_bunch-slice of which this transition is part

The slice is null iff the transition is inert.

Definition at line 847 of file liblts_bisim_dnj.h.

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