..
    Copyright (c) 2022-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 Konieczny class
===================

.. autoclass:: Konieczny
    :doc-only:

Contents
--------

.. autosummary::
    :signatures: short

    ~Konieczny
    Konieczny.add_generator
    Konieczny.add_generators
    Konieczny.contains
    Konieczny.copy
    Konieczny.current_D_classes
    Konieczny.current_number_of_D_classes
    Konieczny.current_number_of_H_classes
    Konieczny.current_number_of_L_classes
    Konieczny.current_number_of_R_classes
    Konieczny.current_number_of_idempotents
    Konieczny.current_number_of_regular_D_classes
    Konieczny.current_number_of_regular_L_classes
    Konieczny.current_number_of_regular_R_classes
    Konieczny.current_number_of_regular_elements
    Konieczny.current_regular_D_classes
    Konieczny.current_size
    Konieczny.degree
    Konieczny.generator
    Konieczny.generators
    Konieczny.init
    Konieczny.is_regular_element
    Konieczny.number_of_D_classes
    Konieczny.number_of_H_classes
    Konieczny.number_of_L_classes
    Konieczny.number_of_R_classes
    Konieczny.number_of_generators
    Konieczny.number_of_idempotents
    Konieczny.number_of_regular_D_classes
    Konieczny.number_of_regular_L_classes
    Konieczny.number_of_regular_R_classes
    Konieczny.number_of_regular_elements
    Konieczny.size

Full API
--------

.. autoclass:: Konieczny
    :class-doc-from: init
    :members:
    :exclude-members: 
        current_state, dead, finished, internal_generating_pairs,
        kill, last_report, report, report_every, report_prefix,
        report_why_we_stopped, reset_last_report, reset_start_time, run, run_for,
        run_until, running, running_for, running_until, start_time, started, state,
        stopped, stopped_by_predicate, success, timed_out, DClass