nr_active_rules¶
-
size_t
libsemigroups::fpsemigroup::KnuthBendix
::
nr_active_rules
() const¶ Returns the current number of active rules in the KnuthBendix instance.
- Return
The current number of active rules, a value of type
size_t
.- Exceptions
This function is
noexcept
and is guaranteed never to throw.- Complexity
Constant.
- Parameters
(None)