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

---

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

• lts/source/liblts_bisim_gjkw.cpp