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.
- 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 count
max – one larger than the maximum length of a normal form to count.
- Returns
A value of type
uint64_t
.