non_trivial_classes

std::shared_ptr<non_trivial_classes_type const> libsemigroups::Congruence::non_trivial_classes()

Returns a shared pointer to the non-trivial classes.

Return

A std::shared_ptr to CongruenceInterface::non_trivial_classes_type.