00001
00027 #ifndef INC_TPTPLexerTokenTypes_hpp_
00028 #define INC_TPTPLexerTokenTypes_hpp_
00029
00030
00031 struct TPTPLexerTokenTypes {
00032 enum {
00033 EOF_ = 1,
00034 UPPER = 4,
00035 LOWER = 5,
00036 DIGIT = 6,
00037 WHITE = 7,
00038 NUMBER = 8,
00039 WORDCHAR = 9,
00040 CHARACTER = 10,
00041 SKIP_RULE = 11,
00042 COMMENT_LINE = 12,
00043 QUOTE = 13,
00044 FILE_NAME = 14,
00045 LPAR = 15,
00046 RPAR = 16,
00047 LBRA = 17,
00048 RBRA = 18,
00049 COMMA = 19,
00050 COLON = 20,
00051 DOT = 21,
00052 AND = 22,
00053 NOT = 23,
00054 OR = 24,
00055 IFF = 25,
00056 IMP = 26,
00057 XOR = 27,
00058 FORALL = 28,
00059 EXISTS = 29,
00060 PP = 30,
00061 MM = 31,
00062 NAME = 32,
00063 VAR = 33,
00064 LITERAL_input_formula = 34,
00065 LITERAL_input_clause = 35,
00066 LITERAL_include = 36,
00067 NULL_TREE_LOOKAHEAD = 3
00068 };
00069 };
00070 #endif