# 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
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.