nr_non_trivial_classesΒΆ

size_t libsemigroups::CongruenceInterface::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