libsemigroups
Installation
Changelog
API REFERENCE
Actions
Congruences
CongruenceInterface
Congruence
Public types
Enums
Aliases
class_index_type
const_iterator
non_trivial_class_iterator
non_trivial_classes_type
Constructors
Initialization
Reporting
Operators
Numbers of classes, and comparisons
Related semigroups
Related algorithms
Words and class indices
State
Iterators
CongruenceByPairsHelper
congruence::ToddCoxeter
congruence::KnuthBendix
KnuthBendixCongruenceByPairs
Digraphs
Elements
Finitely presented semigroups
Orders
Semigroups
Semirings
Words
Miscellaneous
Bibliography
Bibliography
Further info
Semigroupe
Authors
libsemigroups
»
Congruences
»
Congruence
»
non_trivial_classes_type
View page source
non_trivial_classes_type
¶
using
libsemigroups
::
Congruence
::
non_trivial_classes_type
=
std
::
vector
<
std
::
vector
<
word_type
>
>
¶
Type for non-trivial classes.
See
cbegin_ntc
and
cend_ntc
.