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 ofthis
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)