00001 #ifndef INC_KIFLexerTokenTypes_hpp_
00002 #define INC_KIFLexerTokenTypes_hpp_
00003
00004
00005 struct KIFLexerTokenTypes {
00006 enum {
00007 EOF_ = 1,
00008 UPPER = 4,
00009 LOWER = 5,
00010 DIGIT = 6,
00011 SPECIAL = 7,
00012 WHITE = 8,
00013 INITIALCHAR = 9,
00014 WORDCHAR = 10,
00015 CHARACTER = 11,
00016 TICK = 12,
00017 WORD = 13,
00018 STRING = 14,
00019 VARIABLE = 15,
00020 FIGURE = 16,
00021 NUMBER = 17,
00022 EXPONENT = 18,
00023 QUOTE = 19,
00024 SKIP_RULE = 20,
00025 COMMENT_LINE = 21,
00026 LPAR = 22,
00027 RPAR = 23,
00028 LESS = 24,
00029 MORE = 25,
00030 LESSEQ = 26,
00031 GEQ = 27,
00032 IMPLY = 28,
00033 EQUIVALENCE = 29,
00034 LITERAL_equal = 30,
00035 LITERAL_not = 31,
00036 LITERAL_and = 32,
00037 LITERAL_or = 33,
00038 LITERAL_forall = 34,
00039 LITERAL_exists = 35,
00040 NULL_TREE_LOOKAHEAD = 3
00041 };
00042 };
00043 #endif