o

;j��@sVdZd
dl
mZmZmZ
d
dlmZmZmZm	Z	m
Z
mZmZ
dg
Z
Gdd�de�ZdS)z�
    pygments.lexers.pddl
    ~~~~~~~~~~~~~~~~~~~~

    Lexer for the Planning Domain Definition Language.

    :copyright: Copyright 2006-present by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�)�
RegexLexer�words�include)�Punctuation�Keyword�
Whitespace�Name�Comment�Operator�Number�	PddlLexerc@s�eZ
dZd
ZdZdg
Zdg
ZdZdZde	fde
jfed	�
ed
�
de
fdefd
efdejfdejfdejfg
eddd�efg
eddd�ejfg
d�ZdS)rz>
    A PDDL lexer.

    It should support up to PDDL 3.1.
    ZPDDLZpddlz*.pddlzAhttps://en.wikipedia.org/wiki/Planning_Domain_Definition_Languagez2.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)$Zdefine�domain�objectZeither�andZforallZ
preferenceZimply�or�exists�notZwhenZassignzscale-upz
scale-downZincreaseZdecreaseZatZover�start�end�allZproblem�alwaysZsometimeZwithinzat-most-oncezsometime-afterzsometime-beforez
always-withinzhold-duringz
hold-afterZminimizeZmaximizez
total-timezis-violated)�rootr
rN)�__name__�
__module__�__qualname__�__doc__�name�aliases�	filenames�urlZ
version_addedrr	Z
Singlelinerrr
rZVariablerZFloatZIntegerrrZBuiltin�tokens�r$r$�H/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/pddl.pyrs>












�
���	�
��
�N)rZpygments.lexerrrrZpygments.tokenrrrrr	r
r�__all__rr$r$r$r%�<module>
s
$