Other member functions

inline constexpr size_t libsemigroups::StaticPTransf::degree() const noexcept

Returns the degree of a partial transformation.

The degree of a partial transformation is the number of points used in its definition, which is equal to the size of the underlying container.

Exceptions

This function is noexcept and is guaranteed never to throw.

Parameters

(None)

Returns

A value of type size_t.

inline size_t libsemigroups::StaticPTransf::hash_value() const

Returns a hash value.

Exceptions

This function guarantees not to throw a libsemigroups::LibsemigroupsException.

Complexity

Linear in degree().

Parameters

(None)

Returns

A value of type size_t.

inline size_t libsemigroups::StaticPTransf::rank() const

Returns the number of distinct image values.

The rank of a partial transformation is the number of its distinct image values, not including libsemigroups::UNDEFINED.

Exceptions

This function guarantees not to throw a libsemigroups::LibsemigroupsException.

Complexity

Linear in degree().

Parameters

(None)

Returns

A value of type size_t.

static inline value_type libsemigroups::StaticPTransf::undef() noexcept

Returns the value used to represent “undefined”.

This static function returns the value of type value_type used to represent an “undefined” value.

Parameters

(None)

Throws

This – function is noexcept and is guaranteed never to throw.

Returns

A value of type value_type.