.. 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.

KoniecznyTraits
===============

.. doxygenstruct:: libsemigroups::KoniecznyTraits
   :project: libsemigroups

.. cpp:namespace:: libsemigroups::KoniecznyTraits


Member types
------------
.. list-table::
   :widths: 50 50
   :header-rows: 0

   * - :cpp:member:`const_element_type`
     - The type of const elements of a :cpp:any:`Konieczny`  instance.


   * - :cpp:member:`element_type`
     - The type of the elements of a :cpp:any:`Konieczny`  instance with const removed.


   * - :cpp:member:`lambda_orb_type`
     - The type of the orbit of the lambda values under :cpp:any:`ImageRightAction` .


   * - :cpp:member:`lambda_value_type`
     - Alias for :cpp:any:`LambdaValue`  with template parameter :cpp:member:`element_type` .


   * - :cpp:member:`rank_state_type`
     - Alias for :cpp:any:`RhoValue`  with template parameter :cpp:member:`element_type` .


   * - :cpp:member:`rho_orb_type`
     - The type of the orbit of the rho values under :cpp:any:`ImageLeftAction` .


   * - :cpp:member:`rho_value_type`
     - Alias for :cpp:any:`RhoValue`  with template parameter :cpp:member:`element_type` .



Adapters
--------
.. list-table::
   :widths: 50 50
   :header-rows: 0

   * - :cpp:member:`Degree`
     - Adapter for the degree of an element.


   * - :cpp:member:`ElementHash`
     - Adapter for hashing.


   * - :cpp:member:`EqualTo`
     - Adapter for testing equality.


   * - :cpp:member:`Lambda`
     - Adapter for the action on :cpp:any:`LambdaValue`  's.


   * - :cpp:member:`Less`
     - Adapter for comparisons.


   * - :cpp:member:`One`
     - Adapter for the identity element of the given type.


   * - :cpp:member:`Product`
     - Adapter for the product of two elements.


   * - :cpp:member:`Rank`
     - Adapter for calculating ranks.


   * - :cpp:member:`Rho`
     - Adapter for the action on :cpp:any:`RhoValue`  's.


   * - :cpp:member:`Swap`
     - Adapter for swapping.



.. toctree::
   :hidden:

   libsemigroups__koniecznytraits__member_types.rst
   libsemigroups__koniecznytraits__adapters.rst
