libsemigroups
Installation
Changelog
API REFERENCE
Actions
Congruences
Digraphs
Elements
Finitely presented semigroups
FpSemigroupInterface
CongruenceWrapper
FpSemigroup
FpSemigroupByPairs
fpsemigroup::KnuthBendix
Public Types
policy::overlap
const_iterator
froidure_pin_type
rule_type
Constructors
Validation
Converters
Initialisation
Iterators
Attributes
Settings
Running
State
Operators
fpsemigroup::ToddCoxeter
Orders
Semigroups
Semirings
Words
Miscellaneous
Bibliography
Bibliography
Further info
Semigroupe
Authors
libsemigroups
»
Finitely presented semigroups
»
fpsemigroup::KnuthBendix
»
rule_type
View page source
rule_type
¶
using
libsemigroups::fpsemigroup::
KnuthBendix
::
rule_type
= std::pair<string_type, string_type>
¶