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... | |
| SHORTLEX (std::function< bool(rws_letter_t const &, rws_letter_t const &)> letter_order) | |
| A constructor. More... | |
 Public Member Functions inherited from libsemigroups::ReductionOrdering | |
| ReductionOrdering (std::function< bool(rws_word_t const *, rws_word_t const *)> func) | |
| A constructor. More... | |
| size_t | operator() (rws_word_t const *p, rws_word_t 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() (rws_word_t const &p, rws_word_t 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() [1/2]
|
inline |
Constructs a short-lex reduction ordering object derived from the order of on libsemigroups::rws_letter_t's given by the operator <.
◆ SHORTLEX() [2/2]
|
inlineexplicit |
A constructor.
This constructs a short-lex reduction ordering object derived from the order on libsemigroups::rws_letter_t's given by the parameter letter_order.
The documentation for this class was generated from the following file:
- src/rws.h
