policy::runners

enum libsemigroups::Congruence::policy::runners

This enum allows setting the policy used when adding runners to an instance of this type during construction.

Values:

enumerator standard

Adds a predetermined selection of runners.

enumerator none

Adds no runners.