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