CongruenceWrapper¶
-
template<typename T>
class CongruenceWrapper : public libsemigroups::FpSemigroupInterface¶ Defined in
cong-wrap.hpp
.This class wraps a derived class of CongruenceInterface of type
T
so that it has the FpSemigroupInterface.
Member types¶
The type of the wrapped congruence, also the template parameter |
Constructors¶
Default constructor. |
|
Default copy constructor. |
|
Deleted. |
|
Constructor from a const reference to a |
|
Constructor from a std::shared_ptr to a |
Deleted constructors¶
Deleted. |
|
Deleted. |
CongruenceWrapper member functions¶
Get a reference to the underlying congruence. |
Member functions and types inherited from FpSemigroupInterface¶
Add a rule using a |
|
Add a rule using a |
|
|
Add a rule using two |
Add a rule using two std::string const references. |
|
Add a rule using two |
|
Add rules from a |
|
Add rules in a vector. |
|
Returns a const reference to the alphabet. |
|
Returns the |
|
Returns an iterator pointing to the first rule. |
|
Returns an iterator pointing one past the last rule. |
|
Convert a char to a |
|
Type for characters. |
|
Type for const iterators to the defining rules. |
|
|
Check if two words represent the same element. |
Check if two strings represent the same element. |
|
Check if two words represent the same element. |
|
Returns an isomorphic |
|
Check if an isomorphic |
|
Check if an identity has been set. |
|
Returns the identity (if any). |
|
Returns the inverses (if any). |
|
Check if the finitely presented semigroup is obviously finite. |
|
Check if the finitely presented semigroup is obviously infinite. |
|
Returns a normal form for a |
|
Returns a normal form for a string. |
|
Returns a normal form for a |
|
Returns the number of rules. |
|
Type for rules. |
|
Set the size of the alphabet. |
|
Set the alphabet of the finitely presented semigroup. |
|
Set a character in |
|
Set a character in |
|
Set the inverses of letters in |
|
Returns the size of the finitely presented semigroup. |
|
Convert a string to a |
|
Type for strings. |
|
Returns a string containing GAP commands for defining a finitely presented semigroup. |
|
Convert a |
|
Validates a letter specified by a |
|
Validates a letter specified by an integer. |
|
Validates a word given by a std::string. |
|
Validates a word given by a |
|
Convert a |
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 |