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.