size

virtual size_t libsemigroups::FpSemigroupInterface::size() = 0

Returns the size of the finitely presented semigroup.

Return

A size_t, the value of which equals the size of this if this number is finite, or libsemigroups::POSITIVE_INFINITY in some cases if this number is not finite.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

See warning.

Warning

The problem of determining the return value of this function is undecidable in general, and this function may never terminate.

Parameters

(None)