Attributes

This page contains information about non-const attributes of the Konieczny class.

inline DClass &libsemigroups::Konieczny::D_class_of_element(const_reference x)

Returns the \(\mathscr{D}\)-class containing an element.

Note

This involves computing as many frames for \(\mathscr{D}\)-classes as necessary.

Parameters

x – a const reference to a possible element.

Throws

LibsemigroupsException – if x does not belong to this.

Returns

A reference to DClass.

inline size_t libsemigroups::Konieczny::number_of_D_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_H_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_L_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_R_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_idempotents()

Returns the number of idempotents.

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_regular_D_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_regular_L_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_regular_R_classes()

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

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::number_of_regular_elements()

Returns the number of regular elements.

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::size()

Returns the size.

See also

current_size

Parameters

(None)

Note

This function triggers a full enumeration of the frames of every \(\mathscr{D}\)-class.

Throws

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

Returns

A value of type size_t.