-#if defined (__STDC__) || defined (__cplusplus)
- typedef signed char yysigned_char;
-#else
- typedef short yysigned_char;
-#endif
-
-/* YYFINAL -- State number of the termination state. */
-#define YYFINAL 28
-/* YYLAST -- Last index in YYTABLE. */
-#define YYLAST 54
-
-/* YYNTOKENS -- Number of terminals. */
-#define YYNTOKENS 48
-/* YYNNTS -- Number of nonterminals. */
-#define YYNNTS 15
-/* YYNRULES -- Number of rules. */
-#define YYNRULES 39
-/* YYNRULES -- Number of states. */
-#define YYNSTATES 62
-
-/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
-#define YYUNDEFTOK 2
-#define YYMAXUTOK 302
-
-#define YYTRANSLATE(YYX) \
- ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
-
-/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */
-static const unsigned char yytranslate[] =
-{
- 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
- 2, 2, 2, 2, 2, 2, 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
-};
-
-#if YYDEBUG
-/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
- YYRHS. */
-static const unsigned char yyprhs[] =
-{
- 0, 0, 3, 5, 7, 10, 14, 16, 18, 25,
- 27, 30, 33, 37, 41, 46, 51, 57, 61, 66,
- 71, 77, 80, 84, 88, 90, 92, 94, 95, 97,
- 99, 103, 105, 107, 111, 112, 114, 116, 120, 122
-};
-
-/* YYRHS -- A `-1'-separated list of the rules' RHS. */
-static const yysigned_char yyrhs[] =
-{
- 49, 0, -1, 50, -1, 51, -1, 50, 51, -1,
- 52, 19, 58, -1, 62, -1, 53, -1, 10, 9,
- 11, 9, 12, 9, -1, 54, -1, 9, 54, -1,
- 54, 9, -1, 9, 54, 9, -1, 17, 55, 18,
- -1, 9, 17, 55, 18, -1, 17, 55, 18, 9,
- -1, 9, 17, 55, 18, 9, -1, 13, 55, 14,
- -1, 9, 13, 55, 14, -1, 13, 55, 14, 9,
- -1, 9, 13, 55, 14, 9, -1, 15, 3, -1,
- 9, 15, 3, -1, 9, 8, 3, -1, 6, -1,
- 4, -1, 5, -1, -1, 56, -1, 9, -1, 56,
- 57, 9, -1, 20, -1, 16, -1, 59, 7, 61,
- -1, -1, 60, -1, 61, -1, 60, 20, 61, -1,
- 3, -1, 3, -1
-};
-
-/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
-static const unsigned short yyrline[] =
-{
- 0, 139, 139, 142, 147, 152, 159, 161, 166, 168,
- 170, 172, 174, 176, 178, 180, 182, 185, 188, 191,
- 194, 197, 200, 205, 210, 212, 214, 219, 220, 224,
- 226, 230, 232, 236, 241, 242, 246, 248, 252, 259
-};
-#endif
-
-#if YYDEBUG || YYERROR_VERBOSE
-/* YYTNME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
- First, the terminals, then, starting at YYNTOKENS, nonterminals. */
-static const char *const yytname[] =
-{
- "$end", "error", "$undefined", "LST_SIMPLEID", "LST_LOGICALOP",
- "LST_EQOP", "LST_SIMPLEOP", "LST_MAPSYM", "LST_FIELDMAPSYM",
- "LST_MARKERSYM", "LST_ifTOKEN", "LST_thenTOKEN", "LST_elseTOKEN",
- "LST_LBRACKET", "LST_RBRACKET", "LST_SELECTSYM", "LST_SEPSYM",
- "LST_OPENSYM", "LST_CLOSESYM", "LST_COLON", "LST_COMMA", "LST_EOL",
- "LST_COMMENTSYM", "LST_WHITESPACE", "LST_QUANTIFIERSYM",
- "LST_EQUATIONSYM", "LST_EQSEPSYM", "LST_COMPOSESYM", "LST_LPAR",
- "LST_RPAR", "LST_assertsTOKEN", "LST_assumesTOKEN", "LST_byTOKEN",
- "LST_convertsTOKEN", "LST_enumerationTOKEN", "LST_equationsTOKEN",
- "LST_exemptingTOKEN", "LST_forTOKEN", "LST_generatedTOKEN",
- "LST_impliesTOKEN", "LST_includesTOKEN", "LST_introducesTOKEN",
- "LST_ofTOKEN", "LST_partitionedTOKEN", "LST_traitTOKEN",
- "LST_tupleTOKEN", "LST_unionTOKEN", "LST_BADTOKEN", "$accept", "top",
- "operatorList", "operator", "name", "opForm", "anyOp", "middle",
- "placeList", "separator", "signature", "domain", "sortList", "sortId",
- "opId", 0
-};
-#endif
-
-# ifdef YYPRINT
-/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
- token YYLEX-NUM. */
-static const unsigned short yytoknum[] =
-{
- 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
- 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
- 275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
- 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
- 295, 296, 297, 298, 299, 300, 301, 302
-};
-# endif
-
-/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
-static const unsigned char yyr1[] =
-{
- 0, 48, 49, 50, 50, 51, 52, 52, 53, 53,
- 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
- 53, 53, 53, 53, 54, 54, 54, 55, 55, 56,
- 56, 57, 57, 58, 59, 59, 60, 60, 61, 62
-};
-
-/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
-static const unsigned char yyr2[] =
-{
- 0, 2, 1, 1, 2, 3, 1, 1, 6, 1,
- 2, 2, 3, 3, 4, 4, 5, 3, 4, 4,
- 5, 2, 3, 3, 1, 1, 1, 0, 1, 1,
- 3, 1, 1, 3, 0, 1, 1, 3, 1, 1
-};
-
-/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
- STATE-NUM when YYTABLE doesn't specify something else to do. Zero
- means the default is an error. */
-static const unsigned char yydefact[] =
-{
- 0, 39, 25, 26, 24, 0, 0, 27, 0, 27,
- 0, 2, 3, 0, 7, 9, 6, 0, 27, 0,
- 27, 10, 0, 29, 0, 28, 21, 0, 1, 4,
- 34, 11, 23, 0, 22, 0, 12, 0, 17, 32,
- 31, 0, 13, 38, 5, 0, 35, 36, 18, 14,
- 0, 19, 30, 15, 0, 0, 20, 16, 0, 33,
- 37, 8
-};
-
-/* YYDEFGOTO[NTERM-NUM]. */
-static const yysigned_char yydefgoto[] =
-{
- -1, 10, 11, 12, 13, 14, 15, 24, 25, 41,
- 44, 45, 46, 47, 16
-};
-
-/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
- STATE-NUM. */
-#define YYPACT_NINF -34
-static const yysigned_char yypact[] =
-{
- -3, -34, -34, -34, -34, 11, -4, 2, 10, 2,
- 23, -3, -34, 6, -34, 18, -34, 26, 2, 27,
- 2, 22, 21, -34, 19, -12, -34, 16, -34, -34,
- 32, -34, -34, 24, -34, 25, -34, 28, 30, -34,
- -34, 31, 33, -34, -34, 29, 34, -34, 35, 36,
- 37, -34, -34, -34, 32, 32, -34, -34, 38, -34,
- -34, -34
-};
-
-/* YYPGOTO[NTERM-NUM]. */
-static const yysigned_char yypgoto[] =
-{
- -34, -34, -34, 39, -34, -34, 41, 0, -34, -34,
- -34, -34, -34, -33, -34
-};
-
-/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
- positive, shift that token. If negative, reduce the rule which
- number is the opposite. If zero, do what YYDEFACT says.
- If YYTABLE_NINF, syntax error. */
-#define YYTABLE_NINF -1
-static const unsigned char yytable[] =
-{
- 1, 2, 3, 4, 39, 22, 5, 6, 40, 27,
- 7, 23, 8, 26, 9, 2, 3, 4, 33, 17,
- 35, 59, 60, 28, 18, 30, 19, 31, 20, 32,
- 34, 36, 37, 38, 42, 43, 54, 50, 48, 51,
- 52, 0, 53, 49, 56, 57, 21, 61, 0, 58,
- 29, 0, 0, 0, 55
-};
-
-static const yysigned_char yycheck[] =
-{
- 3, 4, 5, 6, 16, 9, 9, 10, 20, 9,
- 13, 9, 15, 3, 17, 4, 5, 6, 18, 8,
- 20, 54, 55, 0, 13, 19, 15, 9, 17, 3,
- 3, 9, 11, 14, 18, 3, 7, 9, 14, 9,
- 9, -1, 9, 18, 9, 9, 5, 9, -1, 12,
- 11, -1, -1, -1, 20
-};
-
-/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
- symbol of state STATE-NUM. */
-static const unsigned char yystos[] =
-{
- 0, 3, 4, 5, 6, 9, 10, 13, 15, 17,
- 49, 50, 51, 52, 53, 54, 62, 8, 13, 15,
- 17, 54, 9, 9, 55, 56, 3, 55, 0, 51,
- 19, 9, 3, 55, 3, 55, 9, 11, 14, 16,
- 20, 57, 18, 3, 58, 59, 60, 61, 14, 18,
- 9, 9, 9, 9, 7, 20, 9, 9, 12, 61,
- 61, 9
-};