non_trivial_classes_typeΒΆ

using libsemigroups::CongruenceInterface::non_trivial_classes_type = std::vector<std::vector<word_type>>

Type for non-trivial classes.

See

cbegin_ntc and cend_ntc.