mCRL2
|
#include <liblts_bisim_gj.h>
Public Member Functions | |
constellation_or_first_unmarked_bottom_state (constellation_type *new_c) | |
Public Attributes | |
constellation_type * | onstellation |
constellation that the block is in | |
state_in_block_pointer * | first_unmarked_bottom_state |
used during initialisation for the first unmarked bottom state | |
Definition at line 520 of file liblts_bisim_gj.h.
|
inline |
Definition at line 528 of file liblts_bisim_gj.h.
state_in_block_pointer* mcrl2::lts::detail::bisimulation_gj::block_type::constellation_or_first_unmarked_bottom_state::first_unmarked_bottom_state |
used during initialisation for the first unmarked bottom state
Definition at line 526 of file liblts_bisim_gj.h.
constellation_type* mcrl2::lts::detail::bisimulation_gj::block_type::constellation_or_first_unmarked_bottom_state::onstellation |
constellation that the block is in
Definition at line 523 of file liblts_bisim_gj.h.