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 if x belongs to this and false 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 if x is a regular element and false 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.