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

KIFLexerTokenTypes Struct Reference

#include <KIFLexerTokenTypes.hpp>

Inheritance diagram for KIFLexerTokenTypes:

KIFLexer KIFParser List of all members.

Public Types

enum  {
  EOF_ = 1, UPPER = 4, LOWER = 5, DIGIT = 6,
  SPECIAL = 7, WHITE = 8, INITIALCHAR = 9, WORDCHAR = 10,
  CHARACTER = 11, TICK = 12, WORD = 13, STRING = 14,
  VARIABLE = 15, FIGURE = 16, NUMBER = 17, EXPONENT = 18,
  QUOTE = 19, SKIP_RULE = 20, COMMENT_LINE = 21, LPAR = 22,
  RPAR = 23, LESS = 24, MORE = 25, LESSEQ = 26,
  GEQ = 27, IMPLY = 28, EQUIVALENCE = 29, LITERAL_equal = 30,
  LITERAL_not = 31, LITERAL_and = 32, LITERAL_or = 33, LITERAL_forall = 34,
  LITERAL_exists = 35, NULL_TREE_LOOKAHEAD = 3
}

Member Enumeration Documentation

anonymous enum
 

Enumeration values:
EOF_ 
UPPER 
LOWER 
DIGIT 
SPECIAL 
WHITE 
INITIALCHAR 
WORDCHAR 
CHARACTER 
TICK 
WORD 
STRING 
VARIABLE 
FIGURE 
NUMBER 
EXPONENT 
QUOTE 
SKIP_RULE 
COMMENT_LINE 
LPAR 
RPAR 
LESS 
MORE 
LESSEQ 
GEQ 
IMPLY 
EQUIVALENCE 
LITERAL_equal 
LITERAL_not 
LITERAL_and 
LITERAL_or 
LITERAL_forall 
LITERAL_exists 
NULL_TREE_LOOKAHEAD 


The documentation for this struct was generated from the following file:
Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2