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