..
    Copyright (c) 2024 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.

.. currentmodule:: libsemigroups_pybind11

The KnuthBendix.options class
=============================

This page contains documentation for the nested class :any:`KnuthBendix.options`
which holds various values that can be used to control the behaviour of
Knuth-Bendix.

.. autoclass:: libsemigroups_pybind11::KnuthBendix.options
    :members:
    :exclude-members: name