function object to compare two constln_t pointers based on their contents More...

Public Member Functions
bool	operator() (const bisim_gjkw::constln_t a, const bisim_gjkw::constln_t b) const

bool	operator() (const bisim_gjkw::constln_t a, const bisim_gjkw::constln_t b) const

Detailed Description

function object to compare two constln_t pointers based on their contents

This function object is used to create a sorted set of constellations, namely those that are reachable from the block of new bottom states in Algorithm 4.

Definition at line 3045 of file liblts_bisim_gjkw.cpp.

Member Function Documentation

◆ operator()() [1/2]

bool mcrl2::lts::detail::constln_ptr_less::operator()	(	const bisim_gjkw::constln_t *	a,
		const bisim_gjkw::constln_t *	b
	)		const

inline

Definition at line 3048 of file liblts_bisim_gjkw.cpp.

◆ operator()() [2/2]

bool mcrl2::lts::detail::constln_ptr_less::operator()	(	const bisim_gjkw::constln_t *	a,
		const bisim_gjkw::constln_t *	b
	)		const