libsemigroups
|
This class implements the shortlex reduction ordering derived from an ordering on libsemigroups::rws_letter_t's. More...
#include <rws.h>
Public Member Functions | |
SHORTLEX () | |
Constructs a short-lex reduction ordering object derived from the order of on libsemigroups::rws_letter_t's given by the operator <. More... | |
![]() | |
ReductionOrdering (std::function< bool(std::string const *, std::string const *)> func) | |
A constructor. More... | |
size_t | operator() (std::string const *p, std::string const *q) const |
Returns true if the word pointed to by p is greater than the word pointed to by q in the reduction ordering. More... | |
size_t | operator() (std::string const &p, std::string const &q) const |
Returns true if the word p is greater than the word q in the reduction ordering. More... | |
This class implements the shortlex reduction ordering derived from an ordering on libsemigroups::rws_letter_t's.
|
inline |
Constructs a short-lex reduction ordering object derived from the order of on libsemigroups::rws_letter_t's given by the operator <.