number_of_normal_forms¶
-
uint64_t
libsemigroups::fpsemigroup::KnuthBendix
::
number_of_normal_forms
(size_t const min, size_t const max)¶ Returns the number of normal forms with length in a given range.
- Return
A value of type
uint64_t
.- Exceptions
This function guarantees not to throw a LibsemigroupsException.
- Complexity
Assuming that
this
has been run until finished, the complexity of this function is at worst \(O(mn)\) where \(m\) is the number of letters in the alphabet, and \(n\) is the number of nodes in the KnuthBendix::gilman_digraph.- Parameters
min
: the minimum length of a normal form to countmax
: one larger than the maximum length of a normal form to count.