mcrl2::lts::detail::constln_ptr_less

class mcrl2::lts::detail::constln_ptr_less

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.

Public member functions

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