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.Note
This function may trigger a (partial) enumeration.
- Parameters
x – a const reference to a possible element.
- Throws
(None) – This function guarantees not to throw a LibsemigroupsException.
- 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.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.
- Throws
(None) – This function guarantees not to throw a LibsemigroupsException.
- Returns
A value of type
bool
.