non_trivial_classes¶
-
std::shared_ptr<non_trivial_classes_type const>
libsemigroups::congruence::ToddCoxeter
::
non_trivial_classes
()¶ Returns a shared pointer to the non-trivial classes.
- Return
A std::shared_ptr to CongruenceInterface::non_trivial_classes_type.