1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
/* A Bison parser, made from iaparser.y, by GNU bison 1.75. */
/* Skeleton parser for Yacc-like parsing with Bison,
Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
/* As a special exception, when this file is copied by Bison into a
Bison output file, you may use that output file without restriction.
This special exception was added by the Free Software Foundation
in version 1.24 of Bison. */
#ifndef BISON_IAPARSER_H
# define BISON_IAPARSER_H
/* Tokens. */
#ifndef YYTOKENTYPE
# define YYTOKENTYPE
/* Put the tokens into the symbol table, so that GDB and other debuggers
know about them. */
enum yytokentype {
IA_AND = 258,
IA_EQUAL = 259,
IA_EQUIV = 260,
IA_EXISTS = 261,
IA_FALSE = 262,
IA_FORALL = 263,
IA_IMPLIED = 264,
IA_IMPLIES = 265,
IA_NOT = 266,
IA_OR = 267,
IA_PROVE = 268,
IA_TRUE = 269,
IA_NUM = 270,
IA_ID = 271
};
#endif
#define IA_AND 258
#define IA_EQUAL 259
#define IA_EQUIV 260
#define IA_EXISTS 261
#define IA_FALSE 262
#define IA_FORALL 263
#define IA_IMPLIED 264
#define IA_IMPLIES 265
#define IA_NOT 266
#define IA_OR 267
#define IA_PROVE 268
#define IA_TRUE 269
#define IA_NUM 270
#define IA_ID 271
#ifndef YYSTYPE
#line 113 "iaparser.y"
typedef union {
int number;
char* string;
SYMBOL symbol;
TERM term;
LIST list;
} yystype;
/* Line 1281 of /opt/gnu//share/bison/yacc.c. */
#line 80 "iaparser.h"
# define YYSTYPE yystype
#endif
extern YYSTYPE ia_lval;
#endif /* not BISON_IAPARSER_H */
|
