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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

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)

Note

This function triggers no enumeration.

Throws:

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

Returns:

A value of type size_t.

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

Returns the current size.

See also

size.

Parameters

(None)

Note

This function triggers no enumeration.

Throws:

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

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.

See also

Degree

Parameters

(None)

Throws:

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

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.

See also

add_generator and add_generators

Complexity

Constant.

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.

See also

add_generator and add_generators

Parameters

(None)

Throws:

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

Returns:

A value of type size_t.