size

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

Returns the size of the finitely presented semigroup.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

See warning.

Parameters

(None)

Warning

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

Returns

A uint64_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.