Searched defs:nr_rules (Results 1 – 12 of 12) sorted by relevance
561 size_t nr_rules() const noexcept { in nr_rules() function in libsemigroups::FpSemigroupInterface
532 SIZE_T FROIDURE_PIN::nr_rules() { in nr_rules() function in libsemigroups::FROIDURE_PIN
582 size_t nr_rules() const noexcept { in nr_rules() function in libsemigroups::FpSemigroupInterface
483 size_t nr_rules() { in nr_rules() function in libsemigroups::FroidurePinBase
31 int nr_rules; member481 int nr_rules = cc->map->rs->nr_rules; in rk_partial_result() local
438 size_t nr_rules() const { in nr_rules() function in libsemigroups::fpsemigroup::KnuthBendix::KnuthBendixImpl
443 size_t nr_rules() const { in nr_rules() function in libsemigroups::fpsemigroup::KnuthBendix::KnuthBendixImpl
1266 static int nr_rules; in refs_shorten_unambiguous_ref() local
1190 static int nr_rules; in refs_shorten_unambiguous_ref() local