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