U
    YSh                     @   sV   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 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                   @   s   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defgedddejfgdZdS )r   z>
    A PDDL lexer.

    It should support up to PDDL 3.1.
    ZPDDLZ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)$ZdefinedomainobjectZeitherandforallZ
preferenceZimplyorexistsnotwhenZassignzscale-upz
scale-downZincreaseZdecreaseatZoverstartendallproblemalwaysZsometimeZwithinzat-most-oncezsometime-afterzsometime-beforezalways-withinzhold-duringz
hold-afterZminimizeZmaximizez
total-timezis-violated)rootr   r   N)__name__
__module____qualname____doc__namealiases	filenamesurlversion_addedr   r	   Z
Singleliner   r   r
   r   Variabler   FloatIntegerr   r   Builtintokens r-   r-   G/root/rtd-docs/venv/lib/python3.8/site-packages/pygments/lexers/pddl.pyr      s<   	
N)r"   Zpygments.lexerr   r   r   Zpygments.tokenr   r   r   r   r	   r
   r   __all__r   r-   r-   r-   r.   <module>   s   $