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

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

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

  String[] tokenImage = {
    "<EOF>",
    "\"sat\"",
    "\"unsat\"",
    "\"<sat>\"",
    "\"<unsat>\"",
    "\" 0\"",
    "\"<satlit>\"",
    "\"<unsatlit>\"",
    "\"-\"",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "<token of kind 13>",
    "<token of kind 14>",
    "<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>",
  };

}