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