mCRL2
Loading...
Searching...
No Matches
mcrl2::lts::detail::constln_ptr_less Class Reference

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
 

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 2974 of file liblts_bisim_gjkw.cpp.

Member Function Documentation

◆ operator()()

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 2977 of file liblts_bisim_gjkw.cpp.


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