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
»
Finitely presented semigroups
»
CongruenceWrapper
»
rule_type
View page source
rule_type
¶
using
libsemigroups
::
CongruenceWrapper
::
rule_type
=
std
::
pair
<
string_type
,
string_type
>
¶