size¶
-
virtual uint64_t libsemigroups::FpSemigroup::size() override¶
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 ofthis
if this number is finite, or libsemigroups::POSITIVE_INFINITY in some cases if this number is not finite.