libsemigroups
Installation
Changelog
API REFERENCE
Actions
Congruences
Digraphs
Elements
Finitely presented semigroups
FpSemigroupInterface
CongruenceWrapper
Type aliases
const_iterator
rule_type
wrapped_type
Constructors
Deleted constructors
Underlying congruence
Validation
Initialization
Reporting
Operators
State
Normal forms and equality testing
Words to strings and vice versa
Related semigroups
Finiteness
Iterators
Miscellanea
FpSemigroup
FpSemigroupByPairs
fpsemigroup::KnuthBendix
fpsemigroup::ToddCoxeter
Orders
Semigroups
Semirings
Words
Miscellaneous
Bibliography
Bibliography
Further info
Semigroupe
Authors
libsemigroups
Docs
»
Finitely presented semigroups
»
CongruenceWrapper
»
rule_type
View page source
rule_type
¶
using
libsemigroups::
FpSemigroupInterface
::
rule_type
= std::pair<string_type, string_type>
¶