check_confluence_interval

KnuthBendix &libsemigroups::fpsemigroup::KnuthBendix::check_confluence_interval(size_t val)

Set the interval at which confluence is checked.

KnuthBendix::knuth_bendix periodically checks if the system is already confluent. This function can be used to set how frequently this happens, it is the number of new overlaps that should be considered before checking confluence. Setting this value too low can adversely affect the performance of KnuthBendix::knuth_bendix.

The default value is 4096, and should be set to libsemigroups::LIMIT_MAX if KnuthBendix::knuth_bendix should never check if the system is already confluent.

Return

A reference to *this.

Complexity

Constant.

See

KnuthBendix::knuth_bendix.

Parameters
  • val: the new value of the interval.