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)