Settings

This page contains information about the member functions of the fpsemigroup::KnuthBendix that control various settings.

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

Set the interval at which confluence is checked.

The function run 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 run.

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

See also

run.

Complexity

Constant.

Parameters

val – the new value of the interval.

Returns

A reference to *this.

inline KnuthBendix &libsemigroups::fpsemigroup::KnuthBendix::max_overlap(size_t val)

Set the maximum length of overlaps to be considered.

This function can be used to specify the maximum length of the overlap of two left hand sides of rules that should be considered in run.

If this value is less than the longest left hand side of a rule, then run can terminate without the system being confluent.

See also

run.

Complexity

Constant.

Parameters

val – the new value of the maximum overlap length.

Returns

A reference to *this.

inline KnuthBendix &libsemigroups::fpsemigroup::KnuthBendix::max_rules(size_t val)

Set the maximum number of rules.

This member function sets the (approximate) maximum number of rules that the system should contain. If this is number is exceeded in calls to run or knuth_bendix_by_overlap_length, then they will terminate and the system may not be confluent.

By default this value is POSITIVE_INFINITY.

See also

run.

Complexity

Constant.

Parameters

val – the maximum number of rules.

Returns

A reference to *this.

KnuthBendix &libsemigroups::fpsemigroup::KnuthBendix::overlap_policy(options::overlap val)

Set the overlap policy.

This function can be used to determine the way that the length of an overlap of two words in the system is measured.

See also

options::overlap.

Complexity

Constant.

Parameters

val – the maximum number of rules.

Returns

A reference to *this.