todd_coxeter

inline std::shared_ptr<ToddCoxeter> libsemigroups::FpSemigroup::todd_coxeter() const

Returns the libsemigroups::fpsemigroup::ToddCoxeter instance used to compute the finitely presented semigroup (if any).

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

has_todd_coxeter().

Parameters

(None)

Returns

A shared_ptr to a congruence::KnuthBendix or nullptr.