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

  int EOF = 0;
  int DECIMAL_LITERAL = 18;
  int HEX_LITERAL = 19;
  int OCTAL_LITERAL = 20;
  int FLOATING_POINT_LITERAL = 21;
  int EXPONENT = 22;
  int CHARACTER_LITERAL = 23;
  int STRING_LITERAL = 24;
  int TEXT_LITERAL = 25;
  int TRUE = 26;
  int FALSE = 27;
  int IDENTIFIER = 28;
  int LETTER = 29;
  int DIGIT = 30;
  int LINE = 31;
  int WORD = 36;

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

  String[] tokenImage = {
    "<EOF>",
    "\"preamble\"",
    "\"numVariables\"",
    "\"numConstraints\"",
    "\"relations\"",
    "\"assume\"",
    "\"end\"",
    "\"(\"",
    "\")\"",
    "\"!\"",
    "\"sat\"",
    "\"unsat\"",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "<token of kind 16>",
    "<token of kind 17>",
    "<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>",
  };

}