File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/pddl.cpython-310.pyc
Back
o ;j� � @ sV d Z ddlmZmZmZ ddlmZmZmZm Z m Z m Z m Z dgZ G dd� 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� e Zd ZdZdZdgZdgZdZdZde fde j fe d �e d �d e fd efd efdejfdejfdejfg eddd�efgeddd�ejfgd�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-withinz hold-duringz hold-afterZminimizeZmaximizez total-timez is-violated)�rootr r N)�__name__� __module__� __qualname__�__doc__�name�aliases� filenames�urlZ version_addedr r Z Singleliner r r r ZVariabler ZFloatZIntegerr r ZBuiltin�tokens� r$ r$ �H/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/pddl.pyr s> � ��� � �� �N)r Zpygments.lexerr r r Zpygments.tokenr r r r r r r �__all__r r$ r$ r$ r% �<module> s $
| ver. 1.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings