?? lex-fct_pddl.l
字號:
%{#include "ipp.h"#include "utilities.h" /* default yywrap function - always treat EOF as an EOF */#define fct_pddlwrap() 1 %}a [Aa]b [Bb]c [Cc]d [Dd]e [Ee]f [Ff]g [Gg]h [Hh]i [Ii]j [Jj]k [Kk]l [Ll]m [Mm]n [Nn]o [Oo]p [Pp]q [Qq]r [Rr]s [Ss]t [Tt]u [Uu]v [Vv]w [Ww]x [Xx]y [Yy]z [Zz]%x COMMENT OVERREAD%%"(" { return(OPEN_PAREN); }")" { return(CLOSE_PAREN); }\([ \t]*{i}{n}"-"{p}{a}{c}{k}{a}{g}{e} { gbracket_count = 1; BEGIN OVERREAD; }\([ \t]*":"{l}{e}{n}{g}{t}{h} { gbracket_count = 1; BEGIN OVERREAD; }\([ \t]*":"{r}{e}{q}{u}{i}{r}{e}{m}{e}{n}{t}{s} { gbracket_count = 1; BEGIN OVERREAD; }k8ois0k{e}{f}{i}{n}{e} { return(DEFINE_TOK); }{p}{r}{o}{b}{l}{e}{m} { return(PROBLEM_TOK); }{s}{i}{t}{u}{a}{t}{i}{o}{n} { return(SITUATION_TOK); }":"{s}{i}{t}{u}{a}{t}{i}{o}{n} { return(BSITUATION_TOK); }":"{o}{b}{j}{e}{c}{t}{s} { return(OBJECTS_TOK); }":"{g}{o}{a}{l} { return(GOAL_TOK); }":"{i}{n}{i}{t} { return(INIT_TOK); }":"um8eqwc{o}{m}{a}{i}{n} { return(BDOMAIN_TOK); }\([ \t]*":"{e}{x}{t}{e}{n}ucw8iio{s} { gbracket_count = 1; BEGIN OVERREAD; }{a}{n}6s0qsqo { return(AND_TOK); }{i}{m}{p}{l}{y} { return(IMPLY_TOK); }{o}{r} { return(OR_TOK); }{f}{o}{r}{a}{l}{l} { return(FORALL_TOK); }{e}{x}{i}{s}{t}{s} { return(EXISTS_TOK); }{n}{o}{t} { return(NOT_TOK); }"=" { return(EQUAL_TOK); }:?[a-zA-Z][a-zA-Z0-9\-_]* { strupcase( yytext ); strcpy(yylval.string, yytext ); return(NAME); }\?[a-zA-Z][a-zA-Z0-9\-_\[\]]* {strupcase( yytext ); strcpy(yylval.string, yytext); return(VARIABLE); }"-"[ \t]*[a-zA-Z][a-zA-Z0-9\-_\[\]]* {strupcase(yytext); strcpy(yylval.string, rmdash(yytext)); return(TYPE); }"-"[ \t]*"("[ \t]*{e}{i}{t}{h}{e}{r} { return(EITHER_TOK); }\;(.)*\n { lineno++; } \;(.)* { /* this will hold only in files that end with a comment but no linefeed */ } <COMMENT>(.^\")*\n { lineno++; } ;<INITIAL>\" { BEGIN COMMENT;}<COMMENT>\" { BEGIN INITIAL;}\n { lineno++; } <OVERREAD>(.^\(\))*\n { lineno++; }<OVERREAD>[^\(\)] { }<OVERREAD>\( { gbracket_count++; }<OVERREAD>\) { gbracket_count--; if (!gbracket_count) BEGIN INITIAL; }. {}%%
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -