52 #define YYBISON_VERSION "3.8.2"
55 #define YYSKELETON_NAME "yacc.c"
68 #define yyparse slx_parse
70 #define yyerror slx_error
71 #define yydebug slx_debug
72 #define yynerrs slx_nerrs
73 #define yylval slx_lval
74 #define yychar slx_char
102 extern short int cote;
130 # define YY_CAST(Type, Val) static_cast<Type> (Val)
131 # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val)
133 # define YY_CAST(Type, Val) ((Type) (Val))
134 # define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val))
138 # if defined __cplusplus
139 # if 201103L <= __cplusplus
140 # define YY_NULLPTR nullptr
142 # define YY_NULLPTR 0
145 # define YY_NULLPTR ((void*)0)
151 #ifndef YY_SLX_Y_TAB_H_INCLUDED
152 # define YY_SLX_Y_TAB_H_INCLUDED
158 extern int slx_debug;
206 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
218 # define YYSTYPE_IS_TRIVIAL 1
219 # define YYSTYPE_IS_DECLARED 1
289 #ifndef __PTRDIFF_MAX__
291 # if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
302 #ifdef __INT_LEAST8_MAX__
304 #elif defined YY_STDINT_H
310 #ifdef __INT_LEAST16_MAX__
312 #elif defined YY_STDINT_H
324 # undef UINT_LEAST8_MAX
325 # undef UINT_LEAST16_MAX
326 # define UINT_LEAST8_MAX 255
327 # define UINT_LEAST16_MAX 65535
330 #if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__
332 #elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \
333 && UINT_LEAST8_MAX <= INT_MAX)
335 #elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX
341 #if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__
343 #elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \
344 && UINT_LEAST16_MAX <= INT_MAX)
346 #elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX
353 # if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__
354 # define YYPTRDIFF_T __PTRDIFF_TYPE__
355 # define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__
356 # elif defined PTRDIFF_MAX
360 # define YYPTRDIFF_T ptrdiff_t
361 # define YYPTRDIFF_MAXIMUM PTRDIFF_MAX
363 # define YYPTRDIFF_T long
364 # define YYPTRDIFF_MAXIMUM LONG_MAX
369 # ifdef __SIZE_TYPE__
370 # define YYSIZE_T __SIZE_TYPE__
371 # elif defined size_t
372 # define YYSIZE_T size_t
373 # elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
375 # define YYSIZE_T size_t
377 # define YYSIZE_T unsigned
381 #define YYSIZE_MAXIMUM \
382 YY_CAST (YYPTRDIFF_T, \
383 (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1) \
384 ? YYPTRDIFF_MAXIMUM \
385 : YY_CAST (YYSIZE_T, -1)))
387 #define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X))
397 # if defined YYENABLE_NLS && YYENABLE_NLS
399 # include <libintl.h>
400 # define YY_(Msgid) dgettext ("bison-runtime", Msgid)
404 # define YY_(Msgid) Msgid
409 #ifndef YY_ATTRIBUTE_PURE
410 # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__)
411 # define YY_ATTRIBUTE_PURE __attribute__ ((__pure__))
413 # define YY_ATTRIBUTE_PURE
417 #ifndef YY_ATTRIBUTE_UNUSED
418 # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__)
419 # define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__))
421 # define YY_ATTRIBUTE_UNUSED
426 #if ! defined lint || defined __GNUC__
427 # define YY_USE(E) ((void) (E))
433 #if defined __GNUC__ && ! defined __ICC && 406 <= __GNUC__ * 100 + __GNUC_MINOR__
434 # if __GNUC__ * 100 + __GNUC_MINOR__ < 407
435 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
436 _Pragma ("GCC diagnostic push") \
437 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")
439 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
440 _Pragma ("GCC diagnostic push") \
441 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \
442 _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
444 # define YY_IGNORE_MAYBE_UNINITIALIZED_END \
445 _Pragma ("GCC diagnostic pop")
447 # define YY_INITIAL_VALUE(Value) Value
449 #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
450 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
451 # define YY_IGNORE_MAYBE_UNINITIALIZED_END
453 #ifndef YY_INITIAL_VALUE
454 # define YY_INITIAL_VALUE(Value)
457 #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__
458 # define YY_IGNORE_USELESS_CAST_BEGIN \
459 _Pragma ("GCC diagnostic push") \
460 _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"")
461 # define YY_IGNORE_USELESS_CAST_END \
462 _Pragma ("GCC diagnostic pop")
464 #ifndef YY_IGNORE_USELESS_CAST_BEGIN
465 # define YY_IGNORE_USELESS_CAST_BEGIN
466 # define YY_IGNORE_USELESS_CAST_END
470 #define YY_ASSERT(E) ((void) (0 && (E)))
472 #if !defined yyoverflow
476 # ifdef YYSTACK_USE_ALLOCA
477 # if YYSTACK_USE_ALLOCA
479 # define YYSTACK_ALLOC __builtin_alloca
480 # elif defined __BUILTIN_VA_ARG_INCR
483 # define YYSTACK_ALLOC __alloca
484 # elif defined _MSC_VER
486 # define alloca _alloca
488 # define YYSTACK_ALLOC alloca
489 # if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS
492 # ifndef EXIT_SUCCESS
493 # define EXIT_SUCCESS 0
500 # ifdef YYSTACK_ALLOC
502 # define YYSTACK_FREE(Ptr) do { ; } while (0)
503 # ifndef YYSTACK_ALLOC_MAXIMUM
508 # define YYSTACK_ALLOC_MAXIMUM 4032
511 # define YYSTACK_ALLOC YYMALLOC
512 # define YYSTACK_FREE YYFREE
513 # ifndef YYSTACK_ALLOC_MAXIMUM
514 # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
516 # if (defined __cplusplus && ! defined EXIT_SUCCESS \
517 && ! ((defined YYMALLOC || defined malloc) \
518 && (defined YYFREE || defined free)))
520 # ifndef EXIT_SUCCESS
521 # define EXIT_SUCCESS 0
525 # define YYMALLOC malloc
526 # if ! defined malloc && ! defined EXIT_SUCCESS
532 # if ! defined free && ! defined EXIT_SUCCESS
539 #if (! defined yyoverflow \
540 && (! defined __cplusplus \
541 || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
551 # define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1)
555 # define YYSTACK_BYTES(N) \
556 ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE)) \
557 + YYSTACK_GAP_MAXIMUM)
559 # define YYCOPY_NEEDED 1
566 # define YYSTACK_RELOCATE(Stack_alloc, Stack) \
569 YYPTRDIFF_T yynewbytes; \
570 YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
571 Stack = &yyptr->Stack_alloc; \
572 yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \
573 yyptr += yynewbytes / YYSIZEOF (*yyptr); \
579 #if defined YYCOPY_NEEDED && YYCOPY_NEEDED
583 # if defined __GNUC__ && 1 < __GNUC__
584 # define YYCOPY(Dst, Src, Count) \
585 __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
587 # define YYCOPY(Dst, Src, Count) \
591 for (yyi = 0; yyi < (Count); yyi++) \
592 (Dst)[yyi] = (Src)[yyi]; \
614 #define YYMAXUTOK 257
619 #define YYTRANSLATE(YYX) \
620 (0 <= (YYX) && (YYX) <= YYMAXUTOK \
621 ? YY_CAST (yysymbol_kind_t, yytranslate[YYX]) \
628 0, 3, 4, 5, 6, 7, 8, 9, 10, 11,
629 12, 13, 14, 15, 2, 2, 2, 2, 2, 2,
630 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
631 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
632 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
633 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
634 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
635 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
636 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
637 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
638 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
639 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
640 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
641 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
642 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
643 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
644 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
645 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
646 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
647 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
648 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
649 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
650 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
651 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
652 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
653 2, 2, 2, 2, 2, 2, 1, 2
660 0, 77, 77, 81, 88, 93, 96, 97, 100, 107,
661 108, 111, 115, 123, 134, 135, 136, 139, 143, 156,
662 161, 162, 162, 163, 166, 178, 190, 201, 216, 222,
663 230, 238, 246, 254, 263, 265, 269, 270, 274, 302,
669 #define YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State])
678 static const char *
const yytname[] =
680 "\"end of file\"",
"error",
"\"invalid token\"",
"ACCFERM",
"ACCOUVR",
681 "CONSTANTE",
"EGAL",
"IDENT",
"INF",
"INFEGAL",
"MOINS",
"PLUS",
"SUP",
682 "SUPEGAL",
"VAR",
"VIRG",
"$accept",
"s_list",
"inisl",
"endsl",
683 "defvar",
"l_var",
"newid",
"l_sys",
"system",
"inisys",
"endsys",
684 "l_eq",
"eq",
"debeq",
"feq",
"membre",
"$@1",
"terme",
"ident",
"const",
685 "op",
"addop",
"multi_membre",
"fin_mult_membre",
"virg_opt",
YY_NULLPTR
695 #define YYPACT_NINF (-25)
697 #define yypact_value_is_default(Yyn) \
698 ((Yyn) == YYPACT_NINF)
700 #define YYTABLE_NINF (-40)
702 #define yytable_value_is_error(Yyn) \
709 -25, 7, 2, -25, 11, -25, -25, 4, -25, -25,
710 16, 17, 11, -25, -25, -2, -25, 8, -25, 1,
711 21, 22, -25, -25, 1, 10, 10, -3, -25, -25,
712 10, -25, -25, -25, -25, 19, -25, -25, -25, -25,
713 -25, -25, 1, -25, -25, -25, 1, -1, -25
721 3, 0, 0, 1, 0, 12, 8, 5, 6, 4,
722 9, 0, 0, 2, 10, 18, 7, 40, 14, 21,
723 18, 0, 35, 34, 36, 0, 0, 0, 15, 13,
724 0, 28, 27, 22, 26, 25, 20, 31, 29, 30,
725 32, 33, 21, 11, 23, 24, 38, 37, 17
731 -25, -25, -25, -25, -25, -25, 15, 18, -25, -25,
732 -25, -25, 9, -25, -25, -12, -25, -22, -4, -25,
733 -25, -24, -25, -25, -25
739 0, 1, 2, 13, 5, 7, 8, 9, 10, 11,
740 43, 17, 18, 19, 48, 24, 25, 33, 34, 35,
749 30, -16, -19, 37, 36, 38, 39, 3, 44, 40,
750 41, 22, 23, -16, -19, 31, 4, 32, 6, 12,
751 -12, 15, 30, 20, -39, 29, 32, 16, 14, 28,
757 24, 3, 3, 6, 26, 8, 9, 0, 30, 12,
758 13, 10, 11, 15, 15, 5, 14, 7, 7, 15,
759 4, 4, 46, 15, 3, 3, 7, 12, 10, 20,
767 0, 17, 18, 0, 14, 20, 7, 21, 22, 23,
768 24, 25, 15, 19, 23, 4, 22, 27, 28, 29,
769 15, 40, 10, 11, 31, 32, 37, 38, 28, 3,
770 37, 5, 7, 33, 34, 35, 33, 6, 8, 9,
771 12, 13, 36, 26, 33, 34, 31, 39, 30
777 0, 16, 17, 18, 19, 20, 21, 21, 22, 23,
778 23, 24, 25, 26, 27, 27, 27, 28, 29, 30,
779 31, 32, 31, 31, 33, 33, 33, 34, 35, 36,
780 36, 36, 36, 36, 37, 37, 38, 38, 39, 40,
787 0, 2, 4, 0, 0, 2, 1, 3, 1, 1,
788 2, 6, 0, 0, 1, 3, 0, 6, 0, 0,
789 2, 0, 2, 3, 2, 1, 1, 1, 1, 1,
790 1, 1, 1, 1, 1, 1, 1, 4, 0, 1,
797 #define yyerrok (yyerrstatus = 0)
798 #define yyclearin (yychar = YYEMPTY)
800 #define YYACCEPT goto yyacceptlab
801 #define YYABORT goto yyabortlab
802 #define YYERROR goto yyerrorlab
803 #define YYNOMEM goto yyexhaustedlab
806 #define YYRECOVERING() (!!yyerrstatus)
808 #define YYBACKUP(Token, Value) \
810 if (yychar == YYEMPTY) \
814 YYPOPSTACK (yylen); \
820 yyerror (YY_("syntax error: cannot back up")); \
827 #define YYERRCODE YYUNDEF
835 # define YYFPRINTF fprintf
838 # define YYDPRINTF(Args) \
847 # define YY_SYMBOL_PRINT(Title, Kind, Value, Location) \
851 YYFPRINTF (stderr, "%s ", Title); \
852 yy_symbol_print (stderr, \
854 YYFPRINTF (stderr, "\n"); \
867 FILE *yyoutput = yyo;
901 for (; yybottom <= yytop; yybottom++)
903 int yybot = *yybottom;
909 # define YY_STACK_PRINT(Bottom, Top) \
912 yy_stack_print ((Bottom), (Top)); \
925 int yynrhs =
yyr2[yyrule];
927 YYFPRINTF (stderr,
"Reducing stack by rule %d (line %d):\n",
930 for (yyi = 0; yyi < yynrhs; yyi++)
935 &yyvsp[(yyi + 1) - (yynrhs)]);
940 # define YY_REDUCE_PRINT(Rule) \
943 yy_reduce_print (yyssp, yyvsp, Rule); \
950 # define YYDPRINTF(Args) ((void) 0)
951 # define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
952 # define YY_STACK_PRINT(Bottom, Top)
953 # define YY_REDUCE_PRINT(Rule)
959 # define YYINITDEPTH 200
970 # define YYMAXDEPTH 10000
1017 int yyerrstatus = 0;
1046 #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))
1052 YYDPRINTF ((stderr,
"Starting parse\n"));
1072 YYDPRINTF ((stderr,
"Entering state %d\n", yystate));
1079 if (yyss + yystacksize - 1 <= yyssp)
1080 #if !defined yyoverflow && !defined YYSTACK_RELOCATE
1087 # if defined yyoverflow
1099 yyoverflow (
YY_(
"memory exhausted"),
1100 &yyss1, yysize *
YYSIZEOF (*yyssp),
1101 &yyvs1, yysize *
YYSIZEOF (*yyvsp),
1123 # undef YYSTACK_RELOCATE
1129 yyssp = yyss + yysize - 1;
1130 yyvsp = yyvs + yysize - 1;
1133 YYDPRINTF ((stderr,
"Stack size increased to %ld\n",
1134 YY_CAST (
long, yystacksize)));
1137 if (yyss + yystacksize - 1 <= yyssp)
1166 YYDPRINTF ((stderr,
"Reading a token\n"));
1174 YYDPRINTF ((stderr,
"Now at end of input.\n"));
1248 yyval = yyvsp[1-yylen];
1255 #line 81 "sl_gram.y"
1260 #line 1261 "y.tab.c"
1264 #line 88 "sl_gram.y"
1268 #line 1269 "y.tab.c"
1272 #line 101 "sl_gram.y"
1277 #line 1278 "y.tab.c"
1281 #line 115 "sl_gram.y"
1287 #line 1288 "y.tab.c"
1291 #line 123 "sl_gram.y"
1300 #line 1301 "y.tab.c"
1304 #line 143 "sl_gram.y"
1315 #line 1316 "y.tab.c"
1319 #line 156 "sl_gram.y"
1323 #line 1324 "y.tab.c"
1327 #line 162 "sl_gram.y"
1329 #line 1330 "y.tab.c"
1333 #line 167 "sl_gram.y"
1345 #line 1346 "y.tab.c"
1349 #line 179 "sl_gram.y"
1361 #line 1362 "y.tab.c"
1365 #line 191 "sl_gram.y"
1374 #line 1375 "y.tab.c"
1378 #line 202 "sl_gram.y"
1385 "Variable %s not declared. Add it to the VAR list!\n",
1391 #line 1392 "y.tab.c"
1395 #line 217 "sl_gram.y"
1399 #line 1400 "y.tab.c"
1403 #line 223 "sl_gram.y"
1411 #line 1412 "y.tab.c"
1415 #line 231 "sl_gram.y"
1423 #line 1424 "y.tab.c"
1427 #line 239 "sl_gram.y"
1435 #line 1436 "y.tab.c"
1439 #line 247 "sl_gram.y"
1447 #line 1448 "y.tab.c"
1451 #line 255 "sl_gram.y"
1459 #line 1460 "y.tab.c"
1463 #line 264 "sl_gram.y"
1465 #line 1466 "y.tab.c"
1469 #line 266 "sl_gram.y"
1471 #line 1472 "y.tab.c"
1475 #line 274 "sl_gram.y"
1502 #line 1503 "y.tab.c"
1506 #line 1507 "y.tab.c"
1533 const int yyi =
yypgoto[yylhs] + *yyssp;
1534 yystate = (0 <= yyi && yyi <=
YYLAST &&
yycheck[yyi] == *yyssp
1556 if (yyerrstatus == 3)
1685 while (yyssp != yyss)
1699 #line 306 "sl_gram.y"
1707 while ((c = getchar()) != EOF) putchar(c);
#define value_oppose(ref)
#define value_uminus(val)
unary operators on values
#define value_addto(ref, val)
#define value_substract(ref, val)
#define value_mult(v, w)
whether the default is protected or not this define makes no sense any more...
int sscan_Value(char *, Value *)
Variable base_find_variable_name(Pbase b, Variable v, char *(*variable_name)(Variable))
Variable base_find_variable_name(Pbase b, Variable v, char * (*variable_name)()): returns the variabl...
bool base_contains_variable_p(Pbase b, Variable v)
bool base_contains_variable_p(Pbase b, Variable v): returns true if variable v is one of b's elements...
Pbase vect_add_variable(Pbase b, Variable v)
package vecteur - routines sur les bases
Pcontrainte contrainte_free(Pcontrainte c)
Pcontrainte contrainte_free(Pcontrainte c): liberation de l'espace memoire alloue a la contrainte c a...
Pcontrainte contrainte_new(void)
package contrainte - allocations et desallocations
static const char * yysymbol_name(yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED
The user-facing name of the symbol whose (internal) number is YYSYMBOL.
static void yy_symbol_print(FILE *yyo, yysymbol_kind_t yykind, YYSTYPE const *const yyvaluep)
-----------------------—.
static const yytype_int16 yyrline[]
YYRLINE[YYN] – Source line where rule number YYN was defined.
static void yy_symbol_value_print(FILE *yyo, yysymbol_kind_t yykind, YYSTYPE const *const yyvaluep)
-------------------------------—.
static void yy_reduce_print(yy_state_t *yyssp, YYSTYPE *yyvsp, int yyrule)
--------------------------------------------—.
static const char *const yytname[]
YYTNAME[SYMBOL-NUM] – String name of the symbol SYMBOL-NUM.
static void yy_stack_print(yy_state_t *yybottom, yy_state_t *yytop)
--------------------------------------------------------------—.
#define YYFPRINTF
Enable debugging if requested.
yysymbol_kind_t
!YY_GENREAD_Y_TAB_H_INCLUDED
int yy_state_fast_t
State numbers in computations.
signed char yytype_int8
On compilers that do not define PTRDIFF_MAX etc., make sure <limits.h> and (if available) <stdint....
yytype_int8 yy_state_t
Stored state numbers (used for stacks).
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
void sc_creer_base(Psysteme ps)
void sc_creer_base(Psysteme ps): initialisation des parametres dimension et base d'un systeme lineair...
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
Psyslist sl_append_system_first(Psyslist in_sl, Psysteme in_ps)
Psyslist sl_append_system_first( in_sl, in_ps ) AL 23/03/95 A new Psyslist with in_ps at the end of i...
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
void init_globals()
void init_globals: initialisation des variables globales
void creer_eg(Psysteme ps, Pcontrainte peq)
void creer_eg(Psysteme ps,Pcontrainte peq): ajout de la contrainte (egalite) peq au systeme ps.
void creer_ineg(Psysteme ps, Pcontrainte peq, int sens)
void creer_ineg(Psysteme ps, Pcontrainte peq, int sens): ajout d'une nouvelle inegalite peq dans la l...
Pcontrainte p_eg_fin
dernier operateur rencontre
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
#define YYMAXDEPTH
YYMAXDEPTH – maximum size the stacks can grow to (effective only if the built-in stack extension meth...
static const yytype_int8 yytranslate[]
YYTRANSLATE[TOKEN-NUM] – Symbol number corresponding to TOKEN-NUM as returned by yylex.
yysymbol_kind_t
!YY_SLX_Y_TAB_H_INCLUDED
@ YYSYMBOL_YYerror
"end of file"
@ YYSYMBOL_ACCOUVR
ACCFERM
@ YYSYMBOL_CONSTANTE
ACCOUVR
@ YYSYMBOL_virg_opt
fin_mult_membre
@ YYSYMBOL_multi_membre
addop
@ YYSYMBOL_ACCFERM
"invalid token"
@ YYSYMBOL_fin_mult_membre
multi_membre
#define YY_IGNORE_MAYBE_UNINITIALIZED_END
static const yytype_int8 yydefact[]
YYDEFACT[STATE-NUM] – Default reduction number in state STATE-NUM.
#define YYNSTATES
YYNSTATES – Number of states.
#define YY_IGNORE_USELESS_CAST_END
#define YYSTACK_BYTES(N)
The size of an array large to enough to hold all stacks, each with N elements.
static const yytype_int8 yycheck[]
#define YY_REDUCE_PRINT(Rule)
#define YY_CAST(Type, Val)
#define NULL 0
static void yydestruct(const char *yymsg, yysymbol_kind_t yykind, YYSTYPE *yyvaluep)
-------------------------------------------—.
Pvecteur p_pred
pointeur sur le predecesseur du couple courant
static const yytype_int8 yypact[]
YYPACT[STATE-NUM] – Index in YYTABLE of the portion describing STATE-NUM.
#define YYFINAL
!YYCOPY_NEEDED
bool syntax_error
sl_gram.c
#define YY_ACCESSING_SYMBOL(State)
Accessing symbol of state STATE.
#define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
Value b1
booleen indiquant quel membre est en cours d'analyse
short int operat
pointeur sur le membre courant
#define YYNTOKENS
YYNTOKENS – Number of terminals.
unsigned char yytype_uint8
Work around bug in HP-UX 11.23, which defines these macros incorrectly for preprocessor constants.
#define YY_STACK_PRINT(Bottom, Top)
#define YY_IGNORE_USELESS_CAST_BEGIN
static const yytype_int8 yyr2[]
YYR2[RULE-NUM] – Number of symbols on the right-hand side of rule RULE-NUM.
short int cote
indique le sens de l'inegalite sens = -1 ==> l'operateur est soit > ,soit >=, sens = 1 ==> l'operateu...
static const yytype_int8 yytable[]
YYTABLE[YYPACT[STATE-NUM]] – What to do in state STATE-NUM.
int sens
facteur multiplicatif suivant qu'on analyse un terme
Pcontrainte eq
element du vecteur colonne du systeme donne par l'analyse d'une contrainte
#define yytable_value_is_error(Yyn)
#define YYTRANSLATE(YYX)
YYTRANSLATE(TOKEN-NUM) – Symbol number corresponding to TOKEN-NUM as returned by yylex,...
static const yytype_int8 yystos[]
YYSTOS[STATE-NUM] – The symbol kind of the accessing symbol of state STATE-NUM.
#define YY_ATTRIBUTE_UNUSED
static const yytype_int8 yypgoto[]
YYPGOTO[NTERM-NUM].
#define OPINF
ode des operateurs de comparaison
int slx_lex()
First part of user prologue.
static const yytype_int8 yyr1[]
YYR1[RULE-NUM] – Symbol kind of the left-hand side of rule RULE-NUM.
enum yytokentype yytoken_kind_t
Psysteme ps_yacc
package sc
int yy_state_fast_t
State numbers in computations.
unsigned short yytype_uint16
static const yytype_int8 yydefgoto[]
YYDEFGOTO[NTERM-NUM].
Pvecteur cp
pointeur sur l'egalite ou l'inegalite courante
#define YYEMPTY
Token kinds.
Pcontrainte p_ineg_fin
pointeur sur la derniere inegalite
#define YYLAST
YYLAST – Last index in YYTABLE.
#define YYSTACK_RELOCATE(Stack_alloc, Stack)
Relocate STACK from its old location to the new one.
#define yypact_value_is_default(Yyn)
#define YYINITDEPTH
!YYDEBUG
signed char yytype_int8
On compilers that do not define PTRDIFF_MAX etc., make sure <limits.h> and (if available) <stdint....
Pvecteur p_membre_courant
#define YYSTACK_ALLOC
The parser invokes alloca or malloc; define the necessary symbols.
yytype_int8 yy_state_t
Stored state numbers (used for stacks).
#define YYDPRINTF(Args)
Enable debugging if requested.
#define YY_USE(E)
Suppress unused-variable warnings by "using" E.
#define int_least8_t
7.18.1.2.
Warning! Do not modify this file that is automatically generated!
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
INFRINGES ON USER NAME SPACE.
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....
#define VARIABLE_UNDEFINED_P(v)
void vect_rm(Pvecteur v)
void vect_rm(Pvecteur v): desallocation des couples de v;
void vect_add_elem(Pvecteur *pvect, Variable var, Value val)
void vect_add_elem(Pvecteur * pvect, Variable var, Value val): addition d'un vecteur colineaire au ve...