todd_coxeter

std::shared_ptr<congruence::ToddCoxeter> libsemigroups::Congruence::todd_coxeter() const

Returns the congruence::ToddCoxeter instance used to compute the congruence (if any).

Parameters

(None)

Return

A shared_ptr to a congruence::ToddCoxeter or nullptr.

Exceptions

Does not throw itself but functions called by this function may throw.

Complexity

Constant.

See

has_todd_coxeter.