has_todd_coxeter¶
-
inline bool libsemigroups::Congruence::has_todd_coxeter() const¶
Checks if a congruence::ToddCoxeter instance is being used to compute the congruence.
- Parameters
(None)
- Exceptions
Does not throw itself but functions called by this function may throw.
- Complexity
Constant.
- See
- Returns
A
bool
.