
    Mh                     d    d Z ddlmZmZmZ ddlmZmZmZm	Z	m
Z
mZmZ dgZ G d de          ZdS )z
    pygments.lexers.pddl
    ~~~~~~~~~~~~~~~~~~~~

    Lexer for the Planning Domain Definition Language.

    :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
    )
RegexLexerwordsinclude)PunctuationKeyword
WhitespaceNameCommentOperatorNumber	PddlLexerc                       e Zd ZdZdZdgZdgZdZdZde	fde
j        f ed	           ed
          defdefdefdej        fdej        fdej        fg
 edd          efg edd          ej        fgdZdS )r   z>
    A PDDL lexer.

    It should support up to PDDL 3.1.
    PDDLpddlz*.pddlzAhttps://en.wikipedia.org/wiki/Planning_Domain_Definition_Languagez2.19z\s+z;.*$keywordsbuiltinsz[()]z	[=/*+><-]z[a-zA-Z][a-zA-Z0-9_-]*z\?[a-zA-Z][a-zA-Z0-9_-]*z[0-9]+\.[0-9]+z[0-9]+)-z:requirementsz:typesz
:constantsz:predicatesz
:functionsz:actionz:agentz:parametersz:preconditionz:effectz:durative-actionz	:durationz
:conditionz:derivedz:domainz:objectsz:initz:goalz:metricz:lengthz:serialz	:parallelz:stripsz:typingz:negative-preconditionsz:disjunctive-preconditionsz	:equalityz:existential-preconditionsz:universal-preconditionsz:conditional-effectsz:fluentsz:numeric-fluentsz:object-fluentsz:adlz:durative-actionsz:continuous-effectsz:derived-predicatesz:time-intial-literalsz:preferencesz:constraintsz:action-costsz:multi-agentz:unfactored-privacyz:factored-privacyz:non-deterministicz\b)suffix)$definedomainobjecteitherandforall
preferenceimplyorexistsnotwhenassignzscale-upz
scale-downincreasedecreaseatoverstartendallproblemalwayssometimewithinzat-most-oncezsometime-afterzsometime-beforezalways-withinzhold-duringz
hold-afterminimizemaximizez
total-timezis-violated)rootr   r   N)__name__
__module____qualname____doc__namealiases	filenamesurlversion_addedr   r
   
Singleliner   r   r   r	   Variabler   FloatIntegerr   r   Builtintokens     T/var/www/html/test/jupyter/venv/lib/python3.11/site-packages/pygments/lexers/pddl.pyr   r      s         DhG
I
MCM Z g()GJGJk"8$&-($-8-'
 U $  %! ! !$ #*%+
, U 	- 6;	< 	< 	< 

E/ /FFFr?   N)r2   pygments.lexerr   r   r   pygments.tokenr   r   r   r	   r
   r   r   __all__r   r>   r?   r@   <module>rD      s     6 5 5 5 5 5 5 5 5 5                  -= = = = =
 = = = = =r?   