libsemigroups
Installation
Changelog
API REFERENCE
Actions
Congruences
CongruenceInterface
Congruence
CongruenceByPairsHelper
congruence::ToddCoxeter
congruence::KnuthBendix
KnuthBendixCongruenceByPairs
Type aliases
Constructors
Deleted constructors
Public types
class_index_type
const_iterator
non_trivial_class_iterator
non_trivial_classes_type
Initialization
Reporting
Operators
Container-like
Related semigroups
Words and class indices
State
Iterators
Digraphs
Elements
Finitely presented semigroups
Orders
Semigroups
Semirings
Words
Miscellaneous
Bibliography
Bibliography
Further info
Semigroupe
Authors
libsemigroups
»
Congruences
»
KnuthBendixCongruenceByPairs
»
class_index_type
View page source
class_index_type
¶
using
libsemigroups
::
KnuthBendixCongruenceByPairs
::
class_index_type
=
size_t
¶
Type for indices of congruence class indices.