%{#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; }. {}%%