FroidurePinBase¶
-
class FroidurePinBase : public libsemigroups::Runner¶
Defined in
froidure-pin-base.hpp
.FroidurePinBase is an abstract base class for the class template FroidurePin.
FroidurePinBase allows a polymorphic interface to instances of FroidurePin and its member functions reflect those member functions of FroidurePin that do not depend on the template parameter
TElementType
(the type of the elements of the semigroup represented).See also
Subclassed by libsemigroups::FroidurePin< TElementType, TTraits >
Member types¶
Type for a left or right Cayley graph. |
|
Return type of |
|
Type for the index of an element. |
|
Unsigned integer type. |
Constructors¶
Default constructor. |
|
Default move constructor. |
|
Copy constructor. |
Deleted constructors¶
Deleted. |
|
Deleted. |
Settings¶
Returns the current value of the batch size. |
|
Set a new value for the batch size. |
|
Returns the current value of the concurrency threshold. |
|
Set the threshold for concurrency to be used by member functions. |
|
Returns the current immutability. |
|
Set immutability. |
|
Returns the current value of the maximum number of threads. |
|
Set the maximum number of threads. |
Attributes¶
Returns the number of relations that have been found so far. |
|
Returns the number of elements so far enumerated. |
|
Returns the degree of any and all elements. |
|
Enumerate until at least a specified number of elements are found. |
|
Check if the semigroup is a monoid. |
|
Returns the size. |
Cayley graphs¶
Returns the index of the product of a generator and an element. |
|
Returns a const reference to the left Cayley graph. |
|
Returns the index of the product of an element and a generator. |
|
Returns a const reference to the right Cayley graph. |
Factorisation, products, and relations¶
Returns a forward iterator pointing to the first rule (if any). |
|
Returns a forward iterator pointing one past the last rule (if any). |
|
Returns the length of the short-lex least word. |
|
Returns the maximum length of a word in the generators so far computed. |
|
Returns the position in of the generator with specified index. |
|
|
Returns the position corresponding to a word. |
Returns the position corresponding to a word. |
|
Returns a word representing an element given by index. |
|
Obtain a word representing an element given by index. |
|
Returns the length of the short-lex least word. |
|
Returns a short-lex least word representing an element given by index. |
|
Obtain a short-lex least word representing an element given by index. |
|
Obtain a short-lex least word representing an element given by index. |
|
Returns the total number of relations in the presentation. |
|
|
Compute a product using the Cayley graph. |
Prefixes and suffixes¶
Returns the last letter of the element with specified index. |
|
Returns the first letter of the element with specified index. |
|
Returns the position of the longest proper prefix. |
|
Returns the position of the longest proper suffix. |
Member functions inherited from Runner¶
Check if the runner is dead. |
|
Check if |
|
Stop |
|
Check if it is time to report. |
|
Get the minimum elapsed time between reports. |
|
Set the minimum elapsed time between reports. |
|
Set the minimum elapsed time between reports. |
|
Report why |
|
Run until |
|
Run for a specified amount of time. |
|
Run for a specified amount of time. |
|
Run until a nullary predicate returns |
|
Run until a nullary predicate returns |
|
Check if currently running. |
|
Check if the runner is currently running for a particular length of time. |
|
Check if the runner is currently running until a nullary predicate returns |
|
Check if |
|
Check if the runner is stopped. |
|
Check if the runner was, or should, stop because of the argument for |
|
Check if the amount of time passed to |