has_todd_coxeter

bool libsemigroups::FpSemigroup::has_todd_coxeter() const

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

Parameters

(None)

Return

A bool.

Exceptions

This function guarantees not to throw a LibsemigroupsException.

Complexity

Constant.

See

todd_coxeter().