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.


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.


A bool.


This function is noexcept and is guaranteed never to throw.

  • x: const reference to the first object for comparison

  • y: const reference to the second object for comparison