libsemigroups::Presentation:
- Member types:
- ["This page contains information about the member types of the
:cpp:any:`Presentation` class template."]
- word_type
- letter_type
- const_iterator
- iterator
- size_type
- Constructors:
- ["This page contains information about the constructors of the
:cpp:any:`Presentation` class template."]
- Presentation()
- Presentation(Presentation const &) = default
- Presentation(Presentation &&) = default
- operator=(Presentation const &) = default
- operator=(Presentation &&) = default
- clear()
- Alphabet + letters:
- ["This page contains information about the functionality for manipulating
the alphabet of a :cpp:any:`Presentation` object."]
- alphabet() const noexcept
- alphabet(size_type)
- alphabet(word_type const&)
- alphabet(word_type&&)
- alphabet_from_rules()
- letter(size_type) const
- in_alphabet(letter_type) const
- index(letter_type) const
- contains_empty_word() const noexcept
- contains_empty_word(bool) noexcept
- Rules:
- ["This page contains information about the functionality for manipulating
the rules of a :cpp:any:`Presentation` object."]
- rules
- add_rule(S,S,T,T)
- add_rule_and_check(S,S,T,T)
- Validation:
- ["This page contains information about the functionality for checking if a
:cpp:any:`Presentation` object is consistent."]
- validate_alphabet() const
- validate_letter(letter_type) const
- validate_word(T, T) const
- validate_rules() const
- validate() const
[ Dauer der Verarbeitung: 0.3 Sekunden
(vorverarbeitet)
]