Const Attributes

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

inline size_t libsemigroups::Konieczny::current_number_of_D_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_H_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_L_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_R_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_idempotents() const

Returns the current number of idempotents.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_regular_D_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_regular_L_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_regular_R_classes() const

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

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_number_of_regular_elements() const

Returns the current number of regular elements.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::current_size() const

Returns the current size.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

See

size.

Note

This function triggers no enumeration.

Returns

A value of type size_t.

inline size_t libsemigroups::Konieczny::degree() const noexcept

Returns the degree of elements.

All elements of a Konieczny must have the same degree, as computed by an instance of Degree; this function returns that degree.

Parameters

(None)

Exceptions

This function is noexcept and is guaranteed never to throw.

See

Degree

Returns

A value of type size_t.

inline const_reference libsemigroups::Konieczny::generator(size_t pos) const

Returns a const reference to the generator given by an index.

This function returns a const reference to the pos generators of this.

Complexity

Constant.

See

add_generator and add_generators

Note

There may be duplicate generators, and so this may have more generators than unique generators.

Parameters

pos – the index of the generator.

Throws

LibsemigroupsException – if the value of pos is greater than number_of_generators().

Returns

A value of type const_reference

inline size_t libsemigroups::Konieczny::number_of_generators() const noexcept

Returns the number of generators.

This function returns the number of generators given to this. Note that there may be duplicate generators, and so this may have more generators than unique generators.

Parameters

(None)

Exceptions

This function is noexcept and is guaranteed never to throw.

See

add_generator and add_generators

Returns

A value of type size_t.