.. Copyright (c) 2019-22, J. D. Mitchell

   Distributed under the terms of the GPL license version 3.

   The full license is in the file LICENSE, distributed with this software.

   This file was auto-generated by docs/generate_from_yml.py, do not edit.

Validation
==========
.. cpp:namespace:: libsemigroups

This page contains information about the functionality for checking if a :cpp:any:`Presentation` object is consistent.

.. cpp:namespace-pop::


.. doxygenfunction:: libsemigroups::Presentation::validate() const
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::Presentation::validate_alphabet() const
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::Presentation::validate_letter(letter_type) const
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::Presentation::validate_rules() const
   :project: libsemigroups

.. doxygenfunction:: libsemigroups::Presentation::validate_word(T, T) const
   :project: libsemigroups
