Elements¶
This page contains information about the member functions of the Konieczny
class related to elements.
-
inline bool libsemigroups::Konieczny::contains(const_reference x)¶
Test membership of an element.
Returns
true
ifx
belongs tothis
andfalse
if it does not.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
Note
This function may trigger a (partial) enumeration.
- Parameters
x – a const reference to a possible element.
- Returns
A value of type
bool
.
-
inline bool libsemigroups::Konieczny::is_regular_element(const_reference x)¶
Test regularity of an element.
Returns
true
ifx
is a regular element andfalse
if it is not.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
Note
This function triggers the computation of the orbits of the Lambda and Rho values, if they are not already known.
- Parameters
x – a const reference to a possible element.
- Returns
A value of type
bool
.