
    cwi                         S r SSKJr  SSKJrJr  SSKJrJrJ	r	J
r
  / SQr " S S\5      rS	\\\\4   4S
 jr " S S\5      r\\\/S4   r\R$                  " \SS9S 5       r " S S\5      rg)z6
Core functionality used throught the clingo package.
    )Enum)CallableTuple   )_cb_error_panic_ffi_lib_to_str)LoggerMessageCodeOrderedEnum
TruthValueversionc                   0    \ rS rSrSrS rS rS rS rSr	g)	r      z$
Enumeration of orderable elements.
c                 r    U R                   UR                   L a  U R                  UR                  :  $ [        $ N	__class__valueNotImplementedselfothers     E/home/james-whalen/.local/lib/python3.13/site-packages/clingo/core.py__ge__OrderedEnum.__ge__   +    >>U__,::,,    c                 r    U R                   UR                   L a  U R                  UR                  :  $ [        $ r   r   r   s     r   __gt__OrderedEnum.__gt__   +    >>U__,::++r   c                 r    U R                   UR                   L a  U R                  UR                  :*  $ [        $ r   r   r   s     r   __le__OrderedEnum.__le__   r   r   c                 r    U R                   UR                   L a  U R                  UR                  :  $ [        $ r   r   r   s     r   __lt__OrderedEnum.__lt__!   r#   r    N)
__name__
__module____qualname____firstlineno____doc__r   r!   r%   r(   __static_attributes__r*   r   r   r   r      s    


r   r   returnc                      [         R                  " S5      n [         R                  " S5      n[         R                  " S5      n[        R                  " XU5        U S   US   US   4$ )z9
Clingo's version as a tuple `(major, minor, revision)`.
zint*r   )r   newr	   clingo_version)p_majorp_minor
p_revisions      r   r   r   '   sW     hhvGhhvG&!J*51:wqz:a=00r   c                       \ rS rSrSr\R                  r \R                  r	 \R                  r \R                  r \R                  r \R                   r \R$                  rSrg)r   2   z 
Enumeration of messages codes.
r*   N)r+   r,   r-   r.   r/   r	   clingo_warning_atom_undefinedAtomUndefinedclingo_warning_file_includedFileIncludedclingo_warning_global_variableGlobalVariable"clingo_warning_operation_undefinedOperationUndefinedclingo_warning_otherOtherclingo_warning_runtime_errorRuntimeError!clingo_warning_variable_unboundedVariableUnboundedr0   r*   r   r   r   r   2   s     66M 44L 88N @@ %%E 44L >>r   r   Npyclingo_logger_callback)onerrornamec                 f    [         R                  " U5      nU" [        U 5      [        U5      5        g)z
Low-level logger callback.
N)r   from_handler   r
   )codemessagedatahandlers       r   _pyclingo_logger_callbackrQ   Y   s(    
 t$GKww/0r   c                   ~    \ rS rSrSr\R                  r \R                  r	 \R                  r \R                  rSrg)r   b   z,
Enumeration of the different truth values.
r*   N)r+   r,   r-   r.   r/   r	   clingo_external_type_falseFalse_clingo_external_type_freeFreeclingo_external_type_trueTrue_clingo_external_type_releaseReleaser0   r*   r   r   r   r   b   sO     ,,F ))D **E //Gr   r   )r/   enumr   typingr   r   	_internalr   r   r	   r
   __all__r   intr   r   strr   
def_externrQ   r   r*   r   r   <module>rc      s     " ; ;
K$ 41sC}% 1!+ !H 
;$d*	+ /IJ1 K1 r   