/* Generated By:JavaCC: Do not edit this line. ParserConstants.java */
public interface ParserConstants {

  int EOF = 0;
  int DECIMAL_LITERAL = 13;
  int HEX_LITERAL = 14;
  int OCTAL_LITERAL = 15;
  int FLOATING_POINT_LITERAL = 16;
  int EXPONENT = 17;
  int CHARACTER_LITERAL = 18;
  int STRING_LITERAL = 19;
  int TEXT_LITERAL = 20;
  int TRUE = 21;
  int FALSE = 22;
  int IDENTIFIER = 23;
  int LETTER = 24;
  int DIGIT = 25;
  int LINE = 26;
  int WORD = 31;

  int DEFAULT = 0;
  int Line = 1;
  int Word = 2;

  String[] tokenImage = {
    "<EOF>",
    "\"cnf\"",
    "\"sat\"",
    "\"unsat\"",
    "\"!\"",
    "\"(\"",
    "\")\"",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "<token of kind 11>",
    "<token of kind 12>",
    "<DECIMAL_LITERAL>",
    "<HEX_LITERAL>",
    "<OCTAL_LITERAL>",
    "<FLOATING_POINT_LITERAL>",
    "<EXPONENT>",
    "<CHARACTER_LITERAL>",
    "<STRING_LITERAL>",
    "<TEXT_LITERAL>",
    "\"true\"",
    "\"false\"",
    "<IDENTIFIER>",
    "<LETTER>",
    "<DIGIT>",
    "<LINE>",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "<WORD>",
  };

}