Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

TPTPLexerTokenTypes.hpp

Go to the documentation of this file.
00001 
00027 #ifndef INC_TPTPLexerTokenTypes_hpp_
00028 #define INC_TPTPLexerTokenTypes_hpp_
00029 
00030 /* $ANTLR 2.7.1: "TPTP.g" -> "TPTPLexerTokenTypes.hpp"$ */
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 /*INC_TPTPLexerTokenTypes_hpp_*/

Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2