has_todd_coxeter

bool libsemigroups::Congruence::has_todd_coxeter() const

Checks if a congruence::ToddCoxeter instance is being used to compute the congruence.

Parameters

(None)

Return

A bool.

Exceptions

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

Complexity

Constant.

See

todd_coxeter.