Member types

using libsemigroups::FpSemigroup::char_type = char

Type for characters.

using libsemigroups::FpSemigroup::const_iterator = std::vector<rule_type>::const_iterator

Type for const iterators to the defining rules.

using libsemigroups::FpSemigroup::rule_type = std::pair<string_type, string_type>

Type for rules.

using libsemigroups::FpSemigroup::string_type = std::string

Type for strings.