-/* A Bison parser, made by GNU Bison 2.7.12-4996. */
+/* A Bison parser, made by GNU Bison 2.5. */
/* Bison interface for Yacc-like parsers in C
- Copyright (C) 1984, 1989-1990, 2000-2013 Free Software Foundation, Inc.
+ Copyright (C) 1984, 1989-1990, 2000-2011 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
This special exception was added by the Free Software Foundation in
version 2.2 of Bison. */
-#ifndef YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
-# define YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
-/* Enabling traces. */
-#ifndef YYDEBUG
-# define YYDEBUG 0
-#endif
-#if YYDEBUG
-extern int xbt_automaton_parser_debug;
-#endif
/* Tokens. */
#ifndef YYTOKENTYPE
#endif
+
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
typedef union YYSTYPE
{
-/* Line 2053 of yacc.c */
-#line 10 "parserPromela.yacc"
+
+/* Line 2068 of yacc.c */
+#line 16 "parserPromela.yacc"
double real;
int integer;
xbt_automaton_exp_label_t label;
-/* Line 2053 of yacc.c */
-#line 87 "parserPromela.tab.hacc"
+
+/* Line 2068 of yacc.c */
+#line 81 "parserPromela.tab.hacc"
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
extern YYSTYPE xbt_automaton_parser_lval;
-#ifdef YYPARSE_PARAM
-#if defined __STDC__ || defined __cplusplus
-int xbt_automaton_parser_parse (void *YYPARSE_PARAM);
-#else
-int xbt_automaton_parser_parse ();
-#endif
-#else /* ! YYPARSE_PARAM */
-#if defined __STDC__ || defined __cplusplus
-int xbt_automaton_parser_parse (void);
-#else
-int xbt_automaton_parser_parse ();
-#endif
-#endif /* ! YYPARSE_PARAM */
-#endif /* !YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED */