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