non_trivial_classes_type¶
-
using
libsemigroups::CongruenceByPairsHelper
::
non_trivial_classes_type
= std::vector<std::vector<word_type>>¶ Type for non-trivial classes.
- See
cbegin_ntc and cend_ntc.
libsemigroups::CongruenceByPairsHelper::
non_trivial_classes_type
= std::vector<std::vector<word_type>>¶Type for non-trivial classes.
cbegin_ntc and cend_ntc.