Member functions

This page contains the documentation for the Konieczny::DClass class.

inline bool libsemigroups::Konieczny::DClass::contains(const_reference x)

Test membership of an element.

Given an element x which may or may not belong to parent, this function returns whether x is an element of the \(\mathscr{D}\)-class represented by this. This function triggers the computation of most of the frame for this, if it is not already known.

Parameters

x – the element

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A value of type bool.

inline bool libsemigroups::Konieczny::DClass::is_regular_D_class() const noexcept

Test regularity of a \(\mathscr{D}\)-class.

Parameters

(None)

Throws

(None) – This function is noexcept and is guaranteed never to throw.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::DClass::number_of_L_classes() const

Returns the number of \(\mathscr{L}\)-classes.

This function triggers the computation of most of the frame for this, if it is not already known.

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::DClass::number_of_R_classes() const

Returns the number of \(\mathscr{R}\)-classes.

This function triggers the computation of most of the frame for this, if it is not already known.

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A value of type size_t.

inline virtual size_t libsemigroups::Konieczny::DClass::number_of_idempotents() const

Returns the number of idempotents.

This function triggers the computation of most of the frame for this, if it is not already known.

inline const_reference libsemigroups::Konieczny::DClass::rep() const

Returns a representative of the \(\mathscr{D}\)-class.

The frame used to represent \(\mathscr{D}\)-classes depends on the choice of representative. This function returns the representative used by a DClass instance. This may not be the same representative as used to construct the instance, but is guaranteed to not change.

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A const_reference.

inline size_t libsemigroups::Konieczny::DClass::size() const

Returns the size of a \(\mathscr{D}\)-class.

This function triggers the computation of most of the frame for this, if it is not already known.

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::DClass::size_H_class() const

Returns the size of the \(\mathscr{H}\)-classes.

This function triggers the computation of most of the frame for this, if it is not already known.

Parameters

(None)

Throws

(None) – This function guarantees not to throw a LibsemigroupsException.

Returns

A value of type size_t.