is_finite

tril libsemigroups::FroidurePinBase::is_finite() const = 0

Returns tril::TRUE if the semigroup represented by this is finite, tril::FALSE if it is infinite, and tril::unknown if it is not known.