nr_non_trivial_classes¶
-
inline size_t libsemigroups::CongruenceByPairsHelper::nr_non_trivial_classes()¶
Returns the number of non-trivial classes (size > 1) of the congruence.
- Complexity
See warning.
- Parameters
(None)
Warning
The problem of determining the return value of this function is undecidable in general, and this function may never terminate.
- Throws
LibsemigroupsException – if
!this->has_parent_froidure_pin()
- Returns
The number of non-trivial classes of the congruence.