todd_coxeter

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

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

Return

A shared_ptr to a congruence::KnuthBendix or nullptr.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

has_todd_coxeter().

Parameters

(None)