template<typename T>
struct libsemigroups::RecursivePathCompare

Defined in order.hpp.

A stateless struct with binary call operator using recursive_path_compare.

This only exists to be used as a template parameter, and has no advantages over using recursive_path_compare otherwise.

See also

recursive_path_compare(T const, T const, S const, S const)

Template Parameters

T – the type of the objects to be compared.

Public Functions

inline bool operator()(T const &x, T const &y) noexcept

Call operator that compares x and y using recursive_path_compare.

  • x – const reference to the first object for comparison

  • y – const reference to the second object for comparison


(None) – This function is noexcept and is guaranteed never to throw.


A bool.