66#
77# The full license is in the file LICENSE, distributed with this software.
88
9- # pylint: disable=no-name-in-module, invalid-name, unused-import, fixme
10- # pylint: disable=protected-access, missing-function-docstring
11- # pylint: disable=missing-class-docstring
12-
139"""
1410This page contains the documentation for various helper functions for
1511manipulating :any:`Congruence` objects. All such functions are contained in
1612the submodule ``congruence``.
1713"""
1814
19- from typing import List , Iterator , Union
20- from typing_extensions import Self
15+ from typing import List , Union
16+ from typing_extensions import Self as _Self
2117
22- from _libsemigroups_pybind11 import (
18+ from _libsemigroups_pybind11 import ( # pylint: disable=no-name-in-module,unused-import
2319 CongruenceString as _CongruenceString ,
2420 CongruenceWord as _CongruenceWord ,
2521 congruence_non_trivial_classes as _congruence_non_trivial_classes ,
4339)
4440
4541
46- class Congruence (_CongruenceCommon ):
42+ class Congruence (_CongruenceCommon ): # pylint: disable=missing-class-docstring
4743 __doc__ = _CongruenceWord .__doc__
4844
4945 _py_template_params_to_cxx_type = {
@@ -61,7 +57,7 @@ class Congruence(_CongruenceCommon):
6157 _all_wrapped_cxx_types = {* _py_template_params_to_cxx_type .values ()}
6258
6359 @_copydoc (_CongruenceWord .__init__ )
64- def __init__ (self : Self , * args , ** kwargs ) -> None :
60+ def __init__ (self : _Self , * args , ** kwargs ) -> None :
6561 super ().__init__ (* args , ** kwargs )
6662 if _to_cxx (self ) is not None :
6763 return
@@ -75,7 +71,9 @@ def __init__(self: Self, *args, **kwargs) -> None:
7571 )
7672 self .init_cxx_obj (* args )
7773
78- def get (self : Self , t : type ) -> Union [_Kambites , _KnuthBendix , _ToddCoxeter ]:
74+ def get (
75+ self : _Self , t : type
76+ ) -> Union [_Kambites , _KnuthBendix , _ToddCoxeter ]:
7977 """
8078 :sig=(self: Congruence, t: type) -> Kambites | KnuthBendix | ToddCoxeter:
8179 Returns the *t* instance used to compute the congruence (if any).
@@ -105,7 +103,7 @@ def get(self: Self, t: type) -> Union[_Kambites, _KnuthBendix, _ToddCoxeter]:
105103 f", but found { t } "
106104 )
107105
108- def has (self : Self , t : type ) -> bool :
106+ def has (self : _Self , t : type ) -> bool :
109107 """
110108 :sig=(self: Congruence, t: type) -> bool:
111109
0 commit comments