1
/* A Bison parser, made by GNU Bison 2.3. */
3
/* Skeleton interface for Bison's Yacc-like parsers in C
5
Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
6
Free Software Foundation, Inc.
8
This program is free software; you can redistribute it and/or modify
9
it under the terms of the GNU General Public License as published by
10
the Free Software Foundation; either version 2, or (at your option)
13
This program is distributed in the hope that it will be useful,
14
but WITHOUT ANY WARRANTY; without even the implied warranty of
15
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16
GNU General Public License for more details.
18
You should have received a copy of the GNU General Public License
19
along with this program; if not, write to the Free Software
20
Foundation, Inc., 51 Franklin Street, Fifth Floor,
21
Boston, MA 02110-1301, USA. */
23
/* As a special exception, you may create a larger work that contains
24
part or all of the Bison parser skeleton and distribute that work
25
under terms of your choice, so long as that work isn't itself a
26
parser generator using the skeleton or a modified version thereof
27
as a parser skeleton. Alternatively, if you modify or redistribute
28
the parser skeleton itself, you may (at your option) remove this
29
special exception, which will cause the skeleton and the resulting
30
Bison output files to be licensed under the GNU General Public
31
License without this special exception.
33
This special exception was added by the Free Software Foundation in
34
version 2.2 of Bison. */
39
/* Put the tokens into the symbol table, so that GDB and other debuggers
48
EXCLAMATION_EQUALS = 264,
51
LESS_EQUALS_GREATER = 267,
52
LESS_TILDE_GREATER = 268,
59
TILDE_AMPERSAND = 275,
69
distinct_object = 285,
70
dollar_dollar_word = 286,
76
unsigned_integer = 292,
86
#define EQUALS_GREATER 262
87
#define EXCLAMATION 263
88
#define EXCLAMATION_EQUALS 264
90
#define LESS_EQUALS 266
91
#define LESS_EQUALS_GREATER 267
92
#define LESS_TILDE_GREATER 268
99
#define TILDE_AMPERSAND 275
100
#define TILDE_VLINE 276
107
#define _LIT_include 283
108
#define comment_line 284
109
#define distinct_object 285
110
#define dollar_dollar_word 286
111
#define dollar_word 287
112
#define lower_word 288
114
#define signed_integer 290
115
#define single_quoted 291
116
#define unsigned_integer 292
117
#define upper_word 293
118
#define unrecognized 294
123
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
124
typedef union YYSTYPE
125
#line 91 "tptpparser.y"
133
/* Line 1489 of yacc.c. */
134
#line 135 "tptpparser.h"
136
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
137
# define YYSTYPE_IS_DECLARED 1
138
# define YYSTYPE_IS_TRIVIAL 1
141
extern YYSTYPE tptp_lval;
added
removed
SPASS/tptpparser.h
