This class implements the shortlex reduction ordering derived from an ordering on libsemigroups::rws_letter_t's. More...
#include <rws.h>
Inheritance diagram for libsemigroups::SHORTLEX:
Collaboration diagram for libsemigroups::SHORTLEX:
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... | |
 Public Member Functions inherited from libsemigroups::ReductionOrdering | |
| 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... | |
Detailed Description
This class implements the shortlex reduction ordering derived from an ordering on libsemigroups::rws_letter_t's.
Constructor & Destructor Documentation
◆ SHORTLEX()
|
inline |
Constructs a short-lex reduction ordering object derived from the order of on libsemigroups::rws_letter_t's given by the operator <.
The documentation for this class was generated from the following file:
- src/rws.h
