nr_non_trivial_classes

inline size_t libsemigroups::Congruence::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.