52 #define YYBISON_VERSION "3.8.2"
55 #define YYSKELETON_NAME "yacc.c"
68 #define yyparse syst_parse
69 #define yylex syst_lex
70 #define yyerror syst_error
71 #define yydebug syst_debug
72 #define yynerrs syst_nerrs
73 #define yylval syst_lval
74 #define yychar syst_char
131 # define YY_CAST(Type, Val) static_cast<Type> (Val)
132 # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val)
134 # define YY_CAST(Type, Val) ((Type) (Val))
135 # define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val))
139 # if defined __cplusplus
140 # if 201103L <= __cplusplus
141 # define YY_NULLPTR nullptr
143 # define YY_NULLPTR 0
146 # define YY_NULLPTR ((void*)0)
152 #ifndef YY_SYST_Y_TAB_H_INCLUDED
153 # define YY_SYST_Y_TAB_H_INCLUDED
159 extern int syst_debug;
194 #define CONSTANTE 260
207 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
219 # define YYSTYPE_IS_TRIVIAL 1
220 # define YYSTYPE_IS_DECLARED 1
285 #ifndef __PTRDIFF_MAX__
287 # if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
298 #ifdef __INT_LEAST8_MAX__
300 #elif defined YY_STDINT_H
306 #ifdef __INT_LEAST16_MAX__
308 #elif defined YY_STDINT_H
320 # undef UINT_LEAST8_MAX
321 # undef UINT_LEAST16_MAX
322 # define UINT_LEAST8_MAX 255
323 # define UINT_LEAST16_MAX 65535
326 #if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__
328 #elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \
329 && UINT_LEAST8_MAX <= INT_MAX)
331 #elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX
337 #if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__
339 #elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \
340 && UINT_LEAST16_MAX <= INT_MAX)
342 #elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX
349 # if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__
350 # define YYPTRDIFF_T __PTRDIFF_TYPE__
351 # define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__
352 # elif defined PTRDIFF_MAX
356 # define YYPTRDIFF_T ptrdiff_t
357 # define YYPTRDIFF_MAXIMUM PTRDIFF_MAX
359 # define YYPTRDIFF_T long
360 # define YYPTRDIFF_MAXIMUM LONG_MAX
365 # ifdef __SIZE_TYPE__
366 # define YYSIZE_T __SIZE_TYPE__
367 # elif defined size_t
368 # define YYSIZE_T size_t
369 # elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
371 # define YYSIZE_T size_t
373 # define YYSIZE_T unsigned
377 #define YYSIZE_MAXIMUM \
378 YY_CAST (YYPTRDIFF_T, \
379 (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1) \
380 ? YYPTRDIFF_MAXIMUM \
381 : YY_CAST (YYSIZE_T, -1)))
383 #define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X))
393 # if defined YYENABLE_NLS && YYENABLE_NLS
395 # include <libintl.h>
396 # define YY_(Msgid) dgettext ("bison-runtime", Msgid)
400 # define YY_(Msgid) Msgid
405 #ifndef YY_ATTRIBUTE_PURE
406 # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__)
407 # define YY_ATTRIBUTE_PURE __attribute__ ((__pure__))
409 # define YY_ATTRIBUTE_PURE
413 #ifndef YY_ATTRIBUTE_UNUSED
414 # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__)
415 # define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__))
417 # define YY_ATTRIBUTE_UNUSED
422 #if ! defined lint || defined __GNUC__
423 # define YY_USE(E) ((void) (E))
429 #if defined __GNUC__ && ! defined __ICC && 406 <= __GNUC__ * 100 + __GNUC_MINOR__
430 # if __GNUC__ * 100 + __GNUC_MINOR__ < 407
431 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
432 _Pragma ("GCC diagnostic push") \
433 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")
435 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
436 _Pragma ("GCC diagnostic push") \
437 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \
438 _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
440 # define YY_IGNORE_MAYBE_UNINITIALIZED_END \
441 _Pragma ("GCC diagnostic pop")
443 # define YY_INITIAL_VALUE(Value) Value
445 #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
446 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
447 # define YY_IGNORE_MAYBE_UNINITIALIZED_END
449 #ifndef YY_INITIAL_VALUE
450 # define YY_INITIAL_VALUE(Value)
453 #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__
454 # define YY_IGNORE_USELESS_CAST_BEGIN \
455 _Pragma ("GCC diagnostic push") \
456 _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"")
457 # define YY_IGNORE_USELESS_CAST_END \
458 _Pragma ("GCC diagnostic pop")
460 #ifndef YY_IGNORE_USELESS_CAST_BEGIN
461 # define YY_IGNORE_USELESS_CAST_BEGIN
462 # define YY_IGNORE_USELESS_CAST_END
466 #define YY_ASSERT(E) ((void) (0 && (E)))
468 #if !defined yyoverflow
472 # ifdef YYSTACK_USE_ALLOCA
473 # if YYSTACK_USE_ALLOCA
475 # define YYSTACK_ALLOC __builtin_alloca
476 # elif defined __BUILTIN_VA_ARG_INCR
479 # define YYSTACK_ALLOC __alloca
480 # elif defined _MSC_VER
482 # define alloca _alloca
484 # define YYSTACK_ALLOC alloca
485 # if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS
488 # ifndef EXIT_SUCCESS
489 # define EXIT_SUCCESS 0
496 # ifdef YYSTACK_ALLOC
498 # define YYSTACK_FREE(Ptr) do { ; } while (0)
499 # ifndef YYSTACK_ALLOC_MAXIMUM
504 # define YYSTACK_ALLOC_MAXIMUM 4032
507 # define YYSTACK_ALLOC YYMALLOC
508 # define YYSTACK_FREE YYFREE
509 # ifndef YYSTACK_ALLOC_MAXIMUM
510 # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
512 # if (defined __cplusplus && ! defined EXIT_SUCCESS \
513 && ! ((defined YYMALLOC || defined malloc) \
514 && (defined YYFREE || defined free)))
516 # ifndef EXIT_SUCCESS
517 # define EXIT_SUCCESS 0
521 # define YYMALLOC malloc
522 # if ! defined malloc && ! defined EXIT_SUCCESS
528 # if ! defined free && ! defined EXIT_SUCCESS
535 #if (! defined yyoverflow \
536 && (! defined __cplusplus \
537 || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
547 # define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1)
551 # define YYSTACK_BYTES(N) \
552 ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE)) \
553 + YYSTACK_GAP_MAXIMUM)
555 # define YYCOPY_NEEDED 1
562 # define YYSTACK_RELOCATE(Stack_alloc, Stack) \
565 YYPTRDIFF_T yynewbytes; \
566 YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
567 Stack = &yyptr->Stack_alloc; \
568 yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \
569 yyptr += yynewbytes / YYSIZEOF (*yyptr); \
575 #if defined YYCOPY_NEEDED && YYCOPY_NEEDED
579 # if defined __GNUC__ && 1 < __GNUC__
580 # define YYCOPY(Dst, Src, Count) \
581 __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
583 # define YYCOPY(Dst, Src, Count) \
587 for (yyi = 0; yyi < (Count); yyi++) \
588 (Dst)[yyi] = (Src)[yyi]; \
610 #define YYMAXUTOK 270
615 #define YYTRANSLATE(YYX) \
616 (0 <= (YYX) && (YYX) <= YYMAXUTOK \
617 ? YY_CAST (yysymbol_kind_t, yytranslate[YYX]) \
624 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
625 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
626 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
627 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
628 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
629 2, 2, 2, 2, 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, 1, 2, 3, 4,
650 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
658 0, 102, 102, 106, 114, 123, 124, 127, 128, 129,
659 132, 136, 148, 154, 155, 155, 156, 159, 170, 181,
660 193, 196, 202, 208, 214, 220, 227, 233, 241, 243,
661 247, 248, 252, 282, 283
666 #define YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State])
675 static const char *
const yytname[] =
677 "\"end of file\"",
"error",
"\"invalid token\"",
"ACCFERM",
"ACCOUVR",
678 "CONSTANTE",
"EGAL",
"IDENT",
"INF",
"INFEGAL",
"MOINS",
"PLUS",
"SUP",
679 "SUPEGAL",
"VAR",
"VIRG",
"$accept",
"system",
"inisys",
"defvar",
680 "l_var",
"l_eq",
"eq",
"debeq",
"feq",
"membre",
"$@1",
"terme",
"ident",
681 "newid",
"const",
"op",
"addop",
"multi_membre",
"fin_mult_membre",
692 #define YYPACT_NINF (-21)
694 #define yypact_value_is_default(Yyn) \
695 ((Yyn) == YYPACT_NINF)
697 #define YYTABLE_NINF (-35)
699 #define yytable_value_is_error(Yyn) \
706 -21, 6, -5, -21, 3, 8, -21, -4, -21, -2,
707 -21, 3, 2, -21, 14, -21, 12, 17, -21, -21,
708 14, 0, 0, 10, -21, -21, 0, -21, -21, -21,
709 -21, 19, -21, -21, -21, -21, -21, -21, 14, -21,
718 3, 0, 0, 1, 0, 0, 21, 4, 5, 11,
719 33, 0, 34, 7, 14, 6, 11, 0, 29, 28,
720 30, 0, 0, 0, 8, 2, 0, 22, 20, 15,
721 19, 18, 13, 25, 23, 24, 26, 27, 14, 16,
728 -21, -21, -21, -21, -21, -21, 11, -21, -21, -10,
729 -21, -18, 1, 18, -21, -21, -20, -21, -21, 21
735 0, 1, 2, 5, 7, 12, 13, 14, 43, 20,
736 21, 29, 30, 8, 31, 38, 22, 23, 42, 11
744 26, -9, -12, -34, 32, 27, 3, 28, 39, 4,
745 6, 10, 9, -9, -12, -33, 33, 16, 34, 35,
746 25, 26, 36, 37, 18, 19, 28, 24, 41, 15,
752 20, 3, 3, 7, 22, 5, 0, 7, 26, 14,
753 7, 15, 4, 15, 15, 3, 6, 15, 8, 9,
754 3, 41, 12, 13, 10, 11, 7, 16, 38, 11,
762 0, 17, 18, 0, 14, 19, 7, 20, 29, 4,
763 15, 35, 21, 22, 23, 29, 15, 35, 10, 11,
764 25, 26, 32, 33, 22, 3, 32, 5, 7, 27,
765 28, 30, 27, 6, 8, 9, 12, 13, 31, 27,
772 0, 16, 17, 18, 19, 20, 20, 21, 21, 21,
773 22, 23, 24, 25, 26, 25, 25, 27, 27, 27,
774 28, 29, 30, 31, 31, 31, 31, 31, 32, 32,
781 0, 2, 6, 0, 2, 1, 3, 1, 3, 0,
782 6, 0, 0, 2, 0, 2, 3, 2, 1, 1,
783 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
790 #define yyerrok (yyerrstatus = 0)
791 #define yyclearin (yychar = YYEMPTY)
793 #define YYACCEPT goto yyacceptlab
794 #define YYABORT goto yyabortlab
795 #define YYERROR goto yyerrorlab
796 #define YYNOMEM goto yyexhaustedlab
799 #define YYRECOVERING() (!!yyerrstatus)
801 #define YYBACKUP(Token, Value) \
803 if (yychar == YYEMPTY) \
807 YYPOPSTACK (yylen); \
813 yyerror (YY_("syntax error: cannot back up")); \
820 #define YYERRCODE YYUNDEF
828 # define YYFPRINTF fprintf
831 # define YYDPRINTF(Args) \
840 # define YY_SYMBOL_PRINT(Title, Kind, Value, Location) \
844 YYFPRINTF (stderr, "%s ", Title); \
845 yy_symbol_print (stderr, \
847 YYFPRINTF (stderr, "\n"); \
860 FILE *yyoutput = yyo;
894 for (; yybottom <= yytop; yybottom++)
896 int yybot = *yybottom;
902 # define YY_STACK_PRINT(Bottom, Top) \
905 yy_stack_print ((Bottom), (Top)); \
918 int yynrhs =
yyr2[yyrule];
920 YYFPRINTF (stderr,
"Reducing stack by rule %d (line %d):\n",
923 for (yyi = 0; yyi < yynrhs; yyi++)
928 &yyvsp[(yyi + 1) - (yynrhs)]);
933 # define YY_REDUCE_PRINT(Rule) \
936 yy_reduce_print (yyssp, yyvsp, Rule); \
943 # define YYDPRINTF(Args) ((void) 0)
944 # define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
945 # define YY_STACK_PRINT(Bottom, Top)
946 # define YY_REDUCE_PRINT(Rule)
952 # define YYINITDEPTH 200
963 # define YYMAXDEPTH 10000
1010 int yyerrstatus = 0;
1039 #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))
1045 YYDPRINTF ((stderr,
"Starting parse\n"));
1065 YYDPRINTF ((stderr,
"Entering state %d\n", yystate));
1072 if (yyss + yystacksize - 1 <= yyssp)
1073 #if !defined yyoverflow && !defined YYSTACK_RELOCATE
1080 # if defined yyoverflow
1092 yyoverflow (
YY_(
"memory exhausted"),
1093 &yyss1, yysize *
YYSIZEOF (*yyssp),
1094 &yyvs1, yysize *
YYSIZEOF (*yyvsp),
1116 # undef YYSTACK_RELOCATE
1122 yyssp = yyss + yysize - 1;
1123 yyvsp = yyvs + yysize - 1;
1126 YYDPRINTF ((stderr,
"Stack size increased to %ld\n",
1127 YY_CAST (
long, yystacksize)));
1130 if (yyss + yystacksize - 1 <= yyssp)
1159 YYDPRINTF ((stderr,
"Reading a token\n"));
1167 YYDPRINTF ((stderr,
"Now at end of input.\n"));
1241 yyval = yyvsp[1-yylen];
1248 #line 106 "sc_gram.y"
1255 #line 1256 "y.tab.c"
1259 #line 115 "sc_gram.y"
1266 #line 1267 "y.tab.c"
1270 #line 136 "sc_gram.y"
1281 #line 1282 "y.tab.c"
1285 #line 148 "sc_gram.y"
1290 #line 1291 "y.tab.c"
1294 #line 155 "sc_gram.y"
1296 #line 1297 "y.tab.c"
1300 #line 160 "sc_gram.y"
1311 #line 1312 "y.tab.c"
1315 #line 171 "sc_gram.y"
1326 #line 1327 "y.tab.c"
1330 #line 182 "sc_gram.y"
1340 #line 1341 "y.tab.c"
1344 #line 193 "sc_gram.y"
1346 #line 1347 "y.tab.c"
1350 #line 196 "sc_gram.y"
1352 #line 1353 "y.tab.c"
1356 #line 203 "sc_gram.y"
1360 #line 1361 "y.tab.c"
1364 #line 209 "sc_gram.y"
1370 #line 1371 "y.tab.c"
1374 #line 215 "sc_gram.y"
1380 #line 1381 "y.tab.c"
1384 #line 221 "sc_gram.y"
1391 #line 1392 "y.tab.c"
1395 #line 228 "sc_gram.y"
1401 #line 1402 "y.tab.c"
1405 #line 234 "sc_gram.y"
1411 #line 1412 "y.tab.c"
1415 #line 242 "sc_gram.y"
1417 #line 1418 "y.tab.c"
1421 #line 244 "sc_gram.y"
1423 #line 1424 "y.tab.c"
1427 #line 252 "sc_gram.y"
1456 #line 1457 "y.tab.c"
1460 #line 1461 "y.tab.c"
1487 const int yyi =
yypgoto[yylhs] + *yyssp;
1488 yystate = (0 <= yyi && yyi <=
YYLAST &&
yycheck[yyi] == *yyssp
1510 if (yyerrstatus == 3)
1639 while (yyssp != yyss)
1653 #line 285 "sc_gram.y"
#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...
Pbase base_reversal(Pbase b_in)
Pbase base_reversal(Pbase b_in): produces a basis b_out, having the same basis vectors as b_in,...
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).
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
#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_SYST_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[]
bool syst_syntax_error
detection des erreurs de syntaxe par sc_gram.y
int syst_error(char *)
First part of user prologue.
#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)
-------------------------------------------—.
static const yytype_int8 yypact[]
YYPACT[STATE-NUM] – Index in YYTABLE of the portion describing STATE-NUM.
#define YYFINAL
!YYCOPY_NEEDED
#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
#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
dernier operateur rencontre
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.
#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....
#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.
void new_ident(Psysteme ps, Variable s)
void new_ident(Psysteme ps, char s[]): fonction introduisant un nouvel identificateur dans la liste d...
void init_globals()
void init_globals: initialisation des variables globales
Variable rec_ident(Psysteme ps, Variable s)
int rec_ident(Psysteme ps, char * s): cette fonction recherche dans la liste des variables du systeme...
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...
#define int_least8_t
7.18.1.2.
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....
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...