mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::bisimulation_gj::block_type::constellation_or_first_unmarked_bottom_state Union Reference

#include <liblts_bisim_gj.h>

Public Member Functions

 constellation_or_first_unmarked_bottom_state (constellation_type *new_c)
 

Public Attributes

constellation_typeonstellation
 constellation that the block is in
 
state_in_block_pointerfirst_unmarked_bottom_state
 used during initialisation for the first unmarked bottom state
 

Detailed Description

Definition at line 520 of file liblts_bisim_gj.h.

Constructor & Destructor Documentation

◆ constellation_or_first_unmarked_bottom_state()

mcrl2::lts::detail::bisimulation_gj::block_type::constellation_or_first_unmarked_bottom_state::constellation_or_first_unmarked_bottom_state ( constellation_type new_c)
inline

Definition at line 528 of file liblts_bisim_gj.h.

Member Data Documentation

◆ first_unmarked_bottom_state

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.

◆ onstellation

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.


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