mcrl2::lts::detail::bisimulation_gj::constellation_type Struct Reference

information about a constellation More...

#include <liblts_bisim_gj.h>

Public Member Functions
	constellation_type (state_in_block_pointer *const new_start, state_in_block_pointer *const new_end)
template<class LTS_TYPE >
std::string	debug_id (const bisim_partitioner_gj< LTS_TYPE > &partitioner) const
	print a constellation identification for debugging

Public Attributes
state_in_block_pointer *	start_const_states
	points to the first state in m_states_in_blocks
state_in_block_pointer *	end_const_states
	points past the last state in m_states_in_blocks

Detailed Description

information about a constellation

Definition at line 1161 of file liblts_bisim_gj.h.

Constructor & Destructor Documentation

constellation_type()

mcrl2::lts::detail::bisimulation_gj::constellation_type::constellation_type ( state_in_block_pointer *const  new_start, state_in_block_pointer *const  new_end  )

inline

Definition at line 1167 of file liblts_bisim_gj.h.

Member Function Documentation

debug_id()

template<class LTS_TYPE >

std::string mcrl2::lts::detail::bisimulation_gj::constellation_type::debug_id ( const bisim_partitioner_gj< LTS_TYPE > &  partitioner ) const

inline

print a constellation identification for debugging

Definition at line 1175 of file liblts_bisim_gj.h.

Member Data Documentation

end_const_states

state_in_block_pointer* mcrl2::lts::detail::bisimulation_gj::constellation_type::end_const_states

points past the last state in m_states_in_blocks

Definition at line 1166 of file liblts_bisim_gj.h.

start_const_states

state_in_block_pointer* mcrl2::lts::detail::bisimulation_gj::constellation_type::start_const_states

points to the first state in m_states_in_blocks

Definition at line 1164 of file liblts_bisim_gj.h.

---

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

• lts/include/mcrl2/lts/detail/liblts_bisim_gj.h