libsemigroups
Public Member Functions | List of all members
libsemigroups::SHORTLEX Class Reference

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:
Inheritance graph
Collaboration diagram for libsemigroups::SHORTLEX:
Collaboration graph

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()

libsemigroups::SHORTLEX::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: