has_knuth_bendix

inline bool libsemigroups::FpSemigroup::has_knuth_bendix() const

Checks if a fpsemigroup::KnuthBendix instance is being used to compute the finitely presented semigroup represented by this.

Parameters

(None)

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

knuth_bendix().

Returns

A bool.