libsemigroups
Installation
Changelog
API REFERENCE
Actions
Congruences
Digraphs
Elements
Finitely presented semigroups
FpSemigroupInterface
CongruenceWrapper
FpSemigroup
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
Related algorithms
Finiteness
Iterators
Miscellanea
FpSemigroupByPairs
fpsemigroup::KnuthBendix
fpsemigroup::ToddCoxeter
Orders
Semigroups
Semirings
Words
Miscellaneous
Bibliography
Bibliography
Further info
Semigroupe
Authors
libsemigroups
»
Finitely presented semigroups
»
FpSemigroup
»
rule_type
View page source
rule_type
¶
using
libsemigroups::
FpSemigroup
::
rule_type
= std::pair<string_type, string_type>
¶