mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisim_dnj::block_bunch_entry Class Reference

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

#include <liblts_bisim_dnj.h>

Public Attributes

pred_entrypred
 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 1523 of file liblts_bisim_dnj.h.

Member Data Documentation

◆ pred

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

circular iterator to link the four transition arrays

Definition at line 1527 of file liblts_bisim_dnj.h.

◆ slice

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 1531 of file liblts_bisim_dnj.h.


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