libsemigroups
Installation
Changelog
API REFERENCE
Actions
Congruences
CongruenceInterface
Congruence
CongruenceByPairsHelper
congruence::ToddCoxeter
congruence::KnuthBendix
Public Types
class_index_type
const_iterator
non_trivial_class_iterator
non_trivial_classes_type
Constructors
Converters
Initialisation
Attributes
Settings
Running
State
Operators
KnuthBendixCongruenceByPairs
Digraphs
Elements
Finitely presented semigroups
Orders
Semigroups
Semirings
Words
Miscellaneous
Bibliography
Bibliography
Further info
Semigroupe
Authors
libsemigroups
»
Congruences
»
congruence::KnuthBendix
»
class_index_type
View page source
class_index_type
¶
using
libsemigroups
::
congruence
::
KnuthBendix
::
class_index_type
=
size_t
¶
Type for indices of congruence class indices.