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

KIFLexerTokenTypes.hpp

Go to the documentation of this file.
00001 #ifndef INC_KIFLexerTokenTypes_hpp_
00002 #define INC_KIFLexerTokenTypes_hpp_
00003 
00004 /* $ANTLR 2.7.1: "KIF.g" -> "KIFLexerTokenTypes.hpp"$ */
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 /*INC_KIFLexerTokenTypes_hpp_*/

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