check_confluence_interval

inline 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.

Complexity

Constant.

See

KnuthBendix::knuth_bendix.

Parameters

val – the new value of the interval.

Returns

A reference to *this.