typedef union  {
  char *str_ptr;
      } YYSTYPE;
#define	QUOTE	257
#define	OPEN	258
#define	CLOSE	259
#define	NL	260
#define	IDENTIFIER	261
#define	COLON	262
#define	TRUE	263
#define	FALSE	264
#define	LEQ	265
#define	GEQ	266
#define	EQ	267
#define	NEQ	268
#define	GT	269
#define	LT	270
#define	FUTURE	271
#define	GLOBALLY	272
#define	NEXT	273
#define	UNTIL	274
#define	IMPLIES	275
#define	EQUIV	276
#define	INITI	277
#define	FINAL	278
#define	AF	279
#define	EG	280
#define	AG	281
#define	EF	282
#define	OR	283
#define	AND	284
#define	NEG	285
#define	NOT	286
#define	IN	287


extern YYSTYPE adsltlformulalval;