#ifndef YY_parse_h_included
#define YY_parse_h_included
/*#define YY_USE_CLASS 
*/
#line 1 "/usr/share/bison++/bison.h"
/* before anything */
#ifdef c_plusplus
 #ifndef __cplusplus
  #define __cplusplus
 #endif
#endif


 #line 8 "/usr/share/bison++/bison.h"

#line 21 "/usr/share/bison++/bison.h"
 /* %{ and %header{ and %union, during decl */
#ifndef YY_parse_COMPATIBILITY
 #ifndef YY_USE_CLASS
  #define  YY_parse_COMPATIBILITY 1
 #else
  #define  YY_parse_COMPATIBILITY 0
 #endif
#endif

#if YY_parse_COMPATIBILITY != 0
/* backward compatibility */
 #ifdef YYLTYPE
  #ifndef YY_parse_LTYPE
   #define YY_parse_LTYPE YYLTYPE
/* WARNING obsolete !!! user defined YYLTYPE not reported into generated header */
/* use %define LTYPE */
  #endif
 #endif
/*#ifdef YYSTYPE*/
  #ifndef YY_parse_STYPE
   #define YY_parse_STYPE YYSTYPE
  /* WARNING obsolete !!! user defined YYSTYPE not reported into generated header */
   /* use %define STYPE */
  #endif
/*#endif*/
 #ifdef YYDEBUG
  #ifndef YY_parse_DEBUG
   #define  YY_parse_DEBUG YYDEBUG
   /* WARNING obsolete !!! user defined YYDEBUG not reported into generated header */
   /* use %define DEBUG */
  #endif
 #endif 
 /* use goto to be compatible */
 #ifndef YY_parse_USE_GOTO
  #define YY_parse_USE_GOTO 1
 #endif
#endif

/* use no goto to be clean in C++ */
#ifndef YY_parse_USE_GOTO
 #define YY_parse_USE_GOTO 0
#endif

#ifndef YY_parse_PURE

 #line 65 "/usr/share/bison++/bison.h"

#line 65 "/usr/share/bison++/bison.h"
/* YY_parse_PURE */
#endif


 #line 68 "/usr/share/bison++/bison.h"
#ifndef YY_USE_CLASS
# ifndef YYSTYPE
#  define YYSTYPE int
#  define YYSTYPE_IS_TRIVIAL 1
# endif
#endif

#line 68 "/usr/share/bison++/bison.h"
/* prefix */

#ifndef YY_parse_DEBUG

 #line 71 "/usr/share/bison++/bison.h"
#define YY_parse_DEBUG 1

#line 71 "/usr/share/bison++/bison.h"
/* YY_parse_DEBUG */
#endif

#ifndef YY_parse_LSP_NEEDED

 #line 75 "/usr/share/bison++/bison.h"

#line 75 "/usr/share/bison++/bison.h"
 /* YY_parse_LSP_NEEDED*/
#endif

/* DEFAULT LTYPE*/
#ifdef YY_parse_LSP_NEEDED
 #ifndef YY_parse_LTYPE
  #ifndef BISON_YYLTYPE_ISDECLARED
   #define BISON_YYLTYPE_ISDECLARED
typedef
  struct yyltype
    {
      int timestamp;
      int first_line;
      int first_column;
      int last_line;
      int last_column;
      char *text;
   }
  yyltype;
  #endif

  #define YY_parse_LTYPE yyltype
 #endif
#endif

/* DEFAULT STYPE*/
#ifndef YY_parse_STYPE
 #define YY_parse_STYPE int
#endif

/* DEFAULT MISCELANEOUS */
#ifndef YY_parse_PARSE
 #define YY_parse_PARSE yyparse
#endif

#ifndef YY_parse_LEX
 #define YY_parse_LEX yylex
#endif

#ifndef YY_parse_LVAL
 #define YY_parse_LVAL yylval
#endif

#ifndef YY_parse_LLOC
 #define YY_parse_LLOC yylloc
#endif

#ifndef YY_parse_CHAR
 #define YY_parse_CHAR yychar
#endif

#ifndef YY_parse_NERRS
 #define YY_parse_NERRS yynerrs
#endif

#ifndef YY_parse_DEBUG_FLAG
 #define YY_parse_DEBUG_FLAG yydebug
#endif

#ifndef YY_parse_ERROR
 #define YY_parse_ERROR yyerror
#endif

#ifndef YY_parse_PARSE_PARAM
 #ifndef __STDC__
  #ifndef __cplusplus
   #ifndef YY_USE_CLASS
    #define YY_parse_PARSE_PARAM
    #ifndef YY_parse_PARSE_PARAM_DEF
     #define YY_parse_PARSE_PARAM_DEF
    #endif
   #endif
  #endif
 #endif
 #ifndef YY_parse_PARSE_PARAM
  #define YY_parse_PARSE_PARAM void
 #endif
#endif

/* TOKEN C */
#ifndef YY_USE_CLASS

 #ifndef YY_parse_PURE
  #ifndef yylval
   extern YY_parse_STYPE YY_parse_LVAL;
  #else
   #if yylval != YY_parse_LVAL
    extern YY_parse_STYPE YY_parse_LVAL;
   #else
    #warning "Namespace conflict, disabling some functionality (bison++ only)"
   #endif
  #endif
 #endif


 #line 169 "/usr/share/bison++/bison.h"
#define	LEFTPAR	258
#define	RIGHTPAR	259
#define	NAME	260
#define	DEF_NAME	261
#define	TWODOTS	262
#define	HYPHEN	263
#define	DEFINE	264
#define	DOMAIN	265
#define	REQUIREMENTS	266
#define	CONSTANTS	267
#define	PREDICATES	268
#define	QUESTION	269
#define	EITHER	270
#define	NOT	271
#define	AND	272
#define	OR	273
#define	FORALL	274
#define	WHEN	275
#define	EQUAL	276
#define	ACTION	277
#define	OBSERVE	278
#define	EQUALITY	279
#define	CONDITIONAL_EFFECTS	280
#define	NEGATIVE_PRECONDITIONS	281
#define	PARAMETERS	282
#define	PRECONDITION	283
#define	EFFECT	284
#define	PROBLEM	285
#define	INIT	286
#define	GOAL	287
#define	STRUCTURAL	288
#define	SITUATION	289
#define	OBJECTS	290
#define	SERIAL	291
#define	PARALLEL	292
#define	INTEGER	293
#define	FLOAT	294
#define	SET	295
#define	TYPING	296
#define	STRIPS	297
#define	TYPES	298
#define	CERTAINTY	299
#define	KNOW	300
#define	UNKNOWN	301
#define	DEFINED	302
#define	FORMULA	303
#define	ONEOF	304


#line 169 "/usr/share/bison++/bison.h"
 /* #defines token */
/* after #define tokens, before const tokens S5*/
#else
 #ifndef YY_parse_CLASS
  #define YY_parse_CLASS parse
 #endif

 #ifndef YY_parse_INHERIT
  #define YY_parse_INHERIT
 #endif

 #ifndef YY_parse_MEMBERS
  #define YY_parse_MEMBERS 
 #endif

 #ifndef YY_parse_LEX_BODY
  #define YY_parse_LEX_BODY  
 #endif

 #ifndef YY_parse_ERROR_BODY
  #define YY_parse_ERROR_BODY  
 #endif

 #ifndef YY_parse_CONSTRUCTOR_PARAM
  #define YY_parse_CONSTRUCTOR_PARAM
 #endif
 /* choose between enum and const */
 #ifndef YY_parse_USE_CONST_TOKEN
  #define YY_parse_USE_CONST_TOKEN 0
  /* yes enum is more compatible with flex,  */
  /* so by default we use it */ 
 #endif
 #if YY_parse_USE_CONST_TOKEN != 0
  #ifndef YY_parse_ENUM_TOKEN
   #define YY_parse_ENUM_TOKEN yy_parse_enum_token
  #endif
 #endif

class YY_parse_CLASS YY_parse_INHERIT
{
public: 
 #if YY_parse_USE_CONST_TOKEN != 0
  /* static const int token ... */
  
 #line 212 "/usr/share/bison++/bison.h"
static const int LEFTPAR;
static const int RIGHTPAR;
static const int NAME;
static const int DEF_NAME;
static const int TWODOTS;
static const int HYPHEN;
static const int DEFINE;
static const int DOMAIN;
static const int REQUIREMENTS;
static const int CONSTANTS;
static const int PREDICATES;
static const int QUESTION;
static const int EITHER;
static const int NOT;
static const int AND;
static const int OR;
static const int FORALL;
static const int WHEN;
static const int EQUAL;
static const int ACTION;
static const int OBSERVE;
static const int EQUALITY;
static const int CONDITIONAL_EFFECTS;
static const int NEGATIVE_PRECONDITIONS;
static const int PARAMETERS;
static const int PRECONDITION;
static const int EFFECT;
static const int PROBLEM;
static const int INIT;
static const int GOAL;
static const int STRUCTURAL;
static const int SITUATION;
static const int OBJECTS;
static const int SERIAL;
static const int PARALLEL;
static const int INTEGER;
static const int FLOAT;
static const int SET;
static const int TYPING;
static const int STRIPS;
static const int TYPES;
static const int CERTAINTY;
static const int KNOW;
static const int UNKNOWN;
static const int DEFINED;
static const int FORMULA;
static const int ONEOF;


#line 212 "/usr/share/bison++/bison.h"
 /* decl const */
 #else
  enum YY_parse_ENUM_TOKEN { YY_parse_NULL_TOKEN=0
  
 #line 215 "/usr/share/bison++/bison.h"
	,LEFTPAR=258
	,RIGHTPAR=259
	,NAME=260
	,DEF_NAME=261
	,TWODOTS=262
	,HYPHEN=263
	,DEFINE=264
	,DOMAIN=265
	,REQUIREMENTS=266
	,CONSTANTS=267
	,PREDICATES=268
	,QUESTION=269
	,EITHER=270
	,NOT=271
	,AND=272
	,OR=273
	,FORALL=274
	,WHEN=275
	,EQUAL=276
	,ACTION=277
	,OBSERVE=278
	,EQUALITY=279
	,CONDITIONAL_EFFECTS=280
	,NEGATIVE_PRECONDITIONS=281
	,PARAMETERS=282
	,PRECONDITION=283
	,EFFECT=284
	,PROBLEM=285
	,INIT=286
	,GOAL=287
	,STRUCTURAL=288
	,SITUATION=289
	,OBJECTS=290
	,SERIAL=291
	,PARALLEL=292
	,INTEGER=293
	,FLOAT=294
	,SET=295
	,TYPING=296
	,STRIPS=297
	,TYPES=298
	,CERTAINTY=299
	,KNOW=300
	,UNKNOWN=301
	,DEFINED=302
	,FORMULA=303
	,ONEOF=304


#line 215 "/usr/share/bison++/bison.h"
 /* enum token */
     }; /* end of enum declaration */
 #endif
public:
 int YY_parse_PARSE(YY_parse_PARSE_PARAM);
 virtual void YY_parse_ERROR(char *msg) YY_parse_ERROR_BODY;
 #ifdef YY_parse_PURE
  #ifdef YY_parse_LSP_NEEDED
   virtual int  YY_parse_LEX(YY_parse_STYPE *YY_parse_LVAL,YY_parse_LTYPE *YY_parse_LLOC) YY_parse_LEX_BODY;
  #else
   virtual int  YY_parse_LEX(YY_parse_STYPE *YY_parse_LVAL) YY_parse_LEX_BODY;
  #endif
 #else
  virtual int YY_parse_LEX() YY_parse_LEX_BODY;
  YY_parse_STYPE YY_parse_LVAL;
  #ifdef YY_parse_LSP_NEEDED
   YY_parse_LTYPE YY_parse_LLOC;
  #endif
  int YY_parse_NERRS;
  int YY_parse_CHAR;
 #endif
 #if YY_parse_DEBUG != 0
  public:
   int YY_parse_DEBUG_FLAG;	/*  nonzero means print parse trace	*/
 #endif
public:
 YY_parse_CLASS(YY_parse_CONSTRUCTOR_PARAM);
public:
 YY_parse_MEMBERS 
};
/* other declare folow */
#endif


#if YY_parse_COMPATIBILITY != 0
 /* backward compatibility */
 /* Removed due to bison problems
 /#ifndef YYSTYPE
 / #define YYSTYPE YY_parse_STYPE
 /#endif*/

 #ifndef YYLTYPE
  #define YYLTYPE YY_parse_LTYPE
 #endif
 #ifndef YYDEBUG
  #ifdef YY_parse_DEBUG 
   #define YYDEBUG YY_parse_DEBUG
  #endif
 #endif

#endif
/* END */

 #line 267 "/usr/share/bison++/bison.h"
#endif
