Loading...
Searching...
No Matches
grammar.h
Go to the documentation of this file.
/* A Bison parser, made by GNU Bison 2.4.3. */
/* Skeleton interface for Bison's Yacc-like parsers in C
Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
2009, 2010 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 3 of the License, 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, see <http://www.gnu.org/licenses/>. */
/* As a special exception, you may create a larger work that contains
part or all of the Bison parser skeleton and distribute that work
under terms of your choice, so long as that work isn't itself a
parser generator using the skeleton or a modified version thereof
as a parser skeleton. Alternatively, if you modify or redistribute
the parser skeleton itself, you may (at your option) remove this
special exception, which will cause the skeleton and the resulting
Bison output files to be licensed under the GNU General Public
License without this special exception.
This special exception was added by the Free Software Foundation in
version 2.2 of Bison. */
/* Tokens. */
#ifndef YYTOKENTYPE
# define YYTOKENTYPE
/* Put the tokens into the symbol table, so that GDB and other debuggers
know about them. */
enum yytokentype {
DOTDOT = 258,
EQUAL_EQUAL = 259,
GE = 260,
LE = 261,
MINUSMINUS = 262,
NOT = 263,
NOTEQUAL = 264,
PLUSPLUS = 265,
COLONCOLON = 266,
ARROW = 267,
GRING_CMD = 268,
BIGINTMAT_CMD = 269,
BIGINTVEC_CMD = 270,
INTMAT_CMD = 271,
PROC_CMD = 272,
RING_CMD = 273,
BEGIN_RING = 274,
BUCKET_CMD = 275,
IDEAL_CMD = 276,
MAP_CMD = 277,
MATRIX_CMD = 278,
MODUL_CMD = 279,
NUMBER_CMD = 280,
POLY_CMD = 281,
RESOLUTION_CMD = 282,
SMATRIX_CMD = 283,
VECTOR_CMD = 284,
BETTI_CMD = 285,
E_CMD = 286,
FETCH_CMD = 287,
FREEMODULE_CMD = 288,
KEEPRING_CMD = 289,
IMAP_CMD = 290,
KOSZUL_CMD = 291,
MAXID_CMD = 292,
MONOM_CMD = 293,
PAR_CMD = 294,
PREIMAGE_CMD = 295,
VAR_CMD = 296,
VALTVARS = 297,
VMAXDEG = 298,
VMAXMULT = 299,
VNOETHER = 300,
VMINPOLY = 301,
END_RING = 302,
CMD_1 = 303,
CMD_2 = 304,
CMD_3 = 305,
CMD_12 = 306,
CMD_13 = 307,
CMD_23 = 308,
CMD_123 = 309,
CMD_M = 310,
ROOT_DECL = 311,
ROOT_DECL_LIST = 312,
RING_DECL = 313,
RING_DECL_LIST = 314,
EXAMPLE_CMD = 315,
EXPORT_CMD = 316,
HELP_CMD = 317,
KILL_CMD = 318,
LIB_CMD = 319,
LISTVAR_CMD = 320,
SETRING_CMD = 321,
TYPE_CMD = 322,
STRINGTOK = 323,
BLOCKTOK = 324,
INT_CONST = 325,
UNKNOWN_IDENT = 326,
MONOM = 327,
PROC_DEF = 328,
APPLY = 329,
ASSUME_CMD = 330,
BREAK_CMD = 331,
CONTINUE_CMD = 332,
ELSE_CMD = 333,
EVAL = 334,
QUOTE = 335,
FOR_CMD = 336,
IF_CMD = 337,
SYS_BREAK = 338,
WHILE_CMD = 339,
RETURN = 340,
PARAMETER = 341,
SYSVAR = 342,
UMINUS = 343
};
#endif
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
# define YYSTYPE_IS_DECLARED 1
#endif
yytokentype
yytokentype
Definition grammar.cc:266
CMD_1
@ CMD_1
Definition grammar.cc:312
PLUSPLUS
@ PLUSPLUS
Definition grammar.cc:274
NOT
@ NOT
Definition grammar.cc:272
KILL_CMD
@ KILL_CMD
Definition grammar.cc:327
END_RING
@ END_RING
Definition grammar.cc:311
MINUSMINUS
@ MINUSMINUS
Definition grammar.cc:271
IDEAL_CMD
@ IDEAL_CMD
Definition grammar.cc:285
UMINUS
@ UMINUS
Definition grammar.cc:352
PARAMETER
@ PARAMETER
Definition grammar.cc:350
PAR_CMD
@ PAR_CMD
Definition grammar.cc:303
PREIMAGE_CMD
@ PREIMAGE_CMD
Definition grammar.cc:304
CMD_23
@ CMD_23
Definition grammar.cc:317
EXAMPLE_CMD
@ EXAMPLE_CMD
Definition grammar.cc:324
VALTVARS
@ VALTVARS
Definition grammar.cc:306
CMD_2
@ CMD_2
Definition grammar.cc:313
MATRIX_CMD
@ MATRIX_CMD
Definition grammar.cc:287
KEEPRING_CMD
@ KEEPRING_CMD
Definition grammar.cc:298
RING_DECL
@ RING_DECL
Definition grammar.cc:322
TYPE_CMD
@ TYPE_CMD
Definition grammar.cc:331
BUCKET_CMD
@ BUCKET_CMD
Definition grammar.cc:284
RING_DECL_LIST
@ RING_DECL_LIST
Definition grammar.cc:323
BIGINTMAT_CMD
@ BIGINTMAT_CMD
Definition grammar.cc:278
KOSZUL_CMD
@ KOSZUL_CMD
Definition grammar.cc:300
SYS_BREAK
@ SYS_BREAK
Definition grammar.cc:347
SETRING_CMD
@ SETRING_CMD
Definition grammar.cc:330
RETURN
@ RETURN
Definition grammar.cc:349
IMAP_CMD
@ IMAP_CMD
Definition grammar.cc:299
ARROW
@ ARROW
Definition grammar.cc:276
GE
@ GE
Definition grammar.cc:269
EQUAL_EQUAL
@ EQUAL_EQUAL
Definition grammar.cc:268
CMD_3
@ CMD_3
Definition grammar.cc:314
SYSVAR
@ SYSVAR
Definition grammar.cc:351
ROOT_DECL
@ ROOT_DECL
Definition grammar.cc:320
APPLY
@ APPLY
Definition grammar.cc:338
MAP_CMD
@ MAP_CMD
Definition grammar.cc:286
EVAL
@ EVAL
Definition grammar.cc:343
INT_CONST
@ INT_CONST
Definition grammar.cc:334
PROC_CMD
@ PROC_CMD
Definition grammar.cc:281
BLOCKTOK
@ BLOCKTOK
Definition grammar.cc:333
LE
@ LE
Definition grammar.cc:270
BEGIN_RING
@ BEGIN_RING
Definition grammar.cc:283
INTMAT_CMD
@ INTMAT_CMD
Definition grammar.cc:280
MONOM
@ MONOM
Definition grammar.cc:336
LISTVAR_CMD
@ LISTVAR_CMD
Definition grammar.cc:329
UNKNOWN_IDENT
@ UNKNOWN_IDENT
Definition grammar.cc:335
LIB_CMD
@ LIB_CMD
Definition grammar.cc:328
ROOT_DECL_LIST
@ ROOT_DECL_LIST
Definition grammar.cc:321
BREAK_CMD
@ BREAK_CMD
Definition grammar.cc:340
ELSE_CMD
@ ELSE_CMD
Definition grammar.cc:342
VMAXMULT
@ VMAXMULT
Definition grammar.cc:308
MODUL_CMD
@ MODUL_CMD
Definition grammar.cc:288
CMD_123
@ CMD_123
Definition grammar.cc:318
ASSUME_CMD
@ ASSUME_CMD
Definition grammar.cc:339
IF_CMD
@ IF_CMD
Definition grammar.cc:346
MONOM_CMD
@ MONOM_CMD
Definition grammar.cc:302
VMAXDEG
@ VMAXDEG
Definition grammar.cc:307
SMATRIX_CMD
@ SMATRIX_CMD
Definition grammar.cc:292
FOR_CMD
@ FOR_CMD
Definition grammar.cc:345
VECTOR_CMD
@ VECTOR_CMD
Definition grammar.cc:293
RESOLUTION_CMD
@ RESOLUTION_CMD
Definition grammar.cc:291
NOTEQUAL
@ NOTEQUAL
Definition grammar.cc:273
CMD_12
@ CMD_12
Definition grammar.cc:315
CONTINUE_CMD
@ CONTINUE_CMD
Definition grammar.cc:341
VAR_CMD
@ VAR_CMD
Definition grammar.cc:305
STRINGTOK
@ STRINGTOK
Definition grammar.cc:332
BIGINTVEC_CMD
@ BIGINTVEC_CMD
Definition grammar.cc:279
DOTDOT
@ DOTDOT
Definition grammar.cc:267
PROC_DEF
@ PROC_DEF
Definition grammar.cc:337
COLONCOLON
@ COLONCOLON
Definition grammar.cc:275
CMD_13
@ CMD_13
Definition grammar.cc:316
WHILE_CMD
@ WHILE_CMD
Definition grammar.cc:348
HELP_CMD
@ HELP_CMD
Definition grammar.cc:326
NUMBER_CMD
@ NUMBER_CMD
Definition grammar.cc:289
MAXID_CMD
@ MAXID_CMD
Definition grammar.cc:301
POLY_CMD
@ POLY_CMD
Definition grammar.cc:290
VMINPOLY
@ VMINPOLY
Definition grammar.cc:310
CMD_M
@ CMD_M
Definition grammar.cc:319
RING_CMD
@ RING_CMD
Definition grammar.cc:282
QUOTE
@ QUOTE
Definition grammar.cc:344
VNOETHER
@ VNOETHER
Definition grammar.cc:309
E_CMD
@ E_CMD
Definition grammar.cc:295
FETCH_CMD
@ FETCH_CMD
Definition grammar.cc:296
GRING_CMD
@ GRING_CMD
Definition grammar.cc:277
FREEMODULE_CMD
@ FREEMODULE_CMD
Definition grammar.cc:297
EXPORT_CMD
@ EXPORT_CMD
Definition grammar.cc:325
BETTI_CMD
@ BETTI_CMD
Definition grammar.cc:294