mcrl2::lts::detail::bisimulation_gj_lazy_BLC Namespace Reference

Classes
struct	BLC_indicators_lb
struct	BLC_source_type
	data structure to indicate the source states of super-BLC sets More...
struct	block_that_needs_refinement_type
	information about a block that needs to be refined More...
struct	block_type_lb
	information about a block More...
struct	constellation_type_lb
	information about a constellation More...
struct	outgoing_transition_type_lb
	information about a transition stored in m_outgoing_transitions More...
struct	state_in_block_pointer_lb
	a pointer to a state, i.e. a reference to a state More...
struct	state_type_gj_lb
	information about a state More...
class	todo_state_vector_lb
struct	transition_type_lb
	information about a transition More...

Typedefs
using	outgoing_transitions_it_lb = fixed_vector< outgoing_transition_type_lb >::iterator
using	outgoing_transitions_const_it_lb = fixed_vector< outgoing_transition_type_lb >::const_iterator

Variables
constexpr constellation_type_lb *	null_constellation_lb =nullptr
constexpr block_type_lb *	null_block_lb =nullptr

Typedef Documentation

outgoing_transitions_const_it_lb

using mcrl2::lts::detail::bisimulation_gj_lazy_BLC::outgoing_transitions_const_it_lb = typedef fixed_vector<outgoing_transition_type_lb>::const_iterator

Definition at line 97 of file liblts_bisim_gj_lazy_BLC.h.

outgoing_transitions_it_lb

using mcrl2::lts::detail::bisimulation_gj_lazy_BLC::outgoing_transitions_it_lb = typedef fixed_vector<outgoing_transition_type_lb>::iterator

Definition at line 96 of file liblts_bisim_gj_lazy_BLC.h.

Variable Documentation

null_block_lb

constexpr block_type_lb* mcrl2::lts::detail::bisimulation_gj_lazy_BLC::null_block_lb =nullptr

constexpr

Definition at line 100 of file liblts_bisim_gj_lazy_BLC.h.

null_constellation_lb

constexpr constellation_type_lb* mcrl2::lts::detail::bisimulation_gj_lazy_BLC::null_constellation_lb =nullptr

constexpr

Definition at line 99 of file liblts_bisim_gj_lazy_BLC.h.