libsemigroups
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
 NlibsemigroupsNamespace for everything in the libsemigroups library
 CBipartitionClass for bipartitions
 CBlocksClass for signed partitions of the set \(\{0, \ldots, n - 1\}\)
 CBooleanMatMatrices over the boolean semiring
 CBooleanSemiringThe usual Boolean semiring
 CCongruenceClass for congruence on a semigroup or fintely presented semigroup
 CElementAbstract base class for semigroup elements
 CEqualProvides a call operator for comparing Elements via pointers
 CHashProvides a call operator returning a hash value for an Element via a pointer
 CElementWithVectorDataAbstract base class for elements using a vector to store their defining data
 CElementWithVectorDataDefaultHashAbstract base class for elements using a vector to store their defining data and the default hash function for that underlying vector
 CIntegersThe usual ring of integers
 CMatrixOverSemiringMatrices over a semiring
 CMatrixOverSemiringBaseMatrices over a semiring
 CMaxPlusSemiringThe max-plus semiring consists of the integers together with negative infinity with operations max and plus. Negative infinity is represented by Semiring<int64_t>::MINUS_INFTY
 CMinPlusSemiringThe min-plus semiring consists of the integers together with infinity with operations min and plus. Infinity is represented by Semiring<int64_t>::INFTY
 CNaturalSemiringThis class implements the semiring consisting of \(\{0, 1, ..., t, t + 1, ..., t + p - 1\}\) for some threshold \(t\) and period \(p\) with operations addition and multiplication modulo the congruence \(t = t + p\)
 CPartialPermTemplate class for partial permutations
 CPartialTransformationAbstract class for partial transformations
 CPartitionClass for partitions of a set used by Congruence::nontrivial_classes
 CPBRClass for partitioned binary relations (PBR)
 CPermutationTemplate class for permutations
 CProjectiveMaxPlusMatrixClass for projective max-plus matrices
 CReductionOrderingThis class provides a call operator which can be used to compare libsemigroups::rws_word_t
 CRWSThis class is used to represent a string rewriting system defining a finitely presented monoid or semigroup
 CRWSESubclass of Element that wraps an libsemigroups::rws_word_t
 CSemigroupClass for semigroups generated by instances of Element
 CSemiringThis class its subclasses provide very basic functionality for creating semirings
 CSemiringWithThresholdThis abstract class provides common methods for its subclasses TropicalMaxPlusSemiring, TropicalMinPlusSemiring, and NaturalSemiring
 CSHORTLEXThis class implements the shortlex reduction ordering derived from an ordering on libsemigroups::rws_letter_t's
 CTransformationTemplate class for transformations
 CTropicalMaxPlusSemiringThe tropical max-plus semiring consists of the integers \(\{0, \ldots , t\}\) for some value \(t\) (called the threshold of the semiring) and \(-\infty\). Negative infinity is represented by Semiring<int64_t>::MINUS_INFTY
 CTropicalMinPlusSemiringThe tropical min-plus semiring consists of the integers \(\{0, \ldots , t\}\) for some value \(t\) (called the threshold of the semiring) and \(\infty\). Infinity is represented by Semiring<int64_t>::INFTY