information about a constellation More...

#include <liblts_bisim_gj_lazy_BLC.h>

Public Member Functions
	constellation_type_lb (state_in_block_pointer_lb const new_start, state_in_block_pointer_lb const new_end)

template<class LTS_TYPE >
std::string	debug_id (const bisim_partitioner_gj_lazy_BLC< LTS_TYPE > &partitioner) const
	print a constellation identification for debugging

Public Attributes
state_in_block_pointer_lb *	start_const_states
	points to the first state in `m_states_in_blocks`

state_in_block_pointer_lb *	end_const_states
	points past the last state in `m_states_in_blocks`

Detailed Description

information about a constellation

Definition at line 869 of file liblts_bisim_gj_lazy_BLC.h.

Constructor & Destructor Documentation

◆ constellation_type_lb()

mcrl2::lts::detail::bisimulation_gj_lazy_BLC::constellation_type_lb::constellation_type_lb	(	state_in_block_pointer_lb *const	new_start,
		state_in_block_pointer_lb *const	new_end
	)

inline

Definition at line 877 of file liblts_bisim_gj_lazy_BLC.h.

Member Function Documentation

◆ debug_id()

template<class LTS_TYPE >

std::string mcrl2::lts::detail::bisimulation_gj_lazy_BLC::constellation_type_lb::debug_id ( const bisim_partitioner_gj_lazy_BLC< LTS_TYPE > & partitioner ) const

inline

print a constellation identification for debugging

Definition at line 885 of file liblts_bisim_gj_lazy_BLC.h.

Member Data Documentation

◆ end_const_states

state_in_block_pointer_lb* mcrl2::lts::detail::bisimulation_gj_lazy_BLC::constellation_type_lb::end_const_states

points past the last state in m_states_in_blocks

Definition at line 875 of file liblts_bisim_gj_lazy_BLC.h.

◆ start_const_states

state_in_block_pointer_lb* mcrl2::lts::detail::bisimulation_gj_lazy_BLC::constellation_type_lb::start_const_states

points to the first state in m_states_in_blocks

Definition at line 872 of file liblts_bisim_gj_lazy_BLC.h.

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

lts/include/mcrl2/lts/detail/liblts_bisim_gj_lazy_BLC.h

Public Member Functions

Public Attributes