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

  int EOF = 0;
  int DECIMAL_LITERAL = 36;
  int HEX_LITERAL = 37;
  int OCTAL_LITERAL = 38;
  int FLOATING_POINT_LITERAL = 39;
  int EXPONENT = 40;
  int CHARACTER_LITERAL = 41;
  int STRING_LITERAL = 42;
  int TEXT_LITERAL = 43;
  int TRUE = 44;
  int FALSE = 45;
  int IDENTIFIER = 46;
  int LETTER = 47;
  int DIGIT = 48;
  int LINE = 49;
  int WORD = 54;

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

  String[] tokenImage = {
    "<EOF>",
    "\"<test>\"",
    "\"type\"",
    "\"correct\"",
    "\"</test>\"",
    "\"(\"",
    "\")\"",
    "\",\"",
    "\"<program>\"",
    "\"</program>\"",
    "\"<let>\"",
    "\"<assignment>\"",
    "\"</assignment>\"",
    "\"</let>\"",
    "\"<cnf>\"",
    "\"<sat>\"",
    "\"</sat>\"",
    "\"<unsat>\"",
    "\"</unsat>\"",
    "\"</cnf>\"",
    "\"<clause>\"",
    "\"</clause>\"",
    "\"<pos>\"",
    "\"</pos>\"",
    "\"<neg>\"",
    "\"</neg>\"",
    "\"<weight>\"",
    "\"</weight>\"",
    "\"<clausecount>\"",
    "\"</clausecount>\"",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "<token of kind 34>",
    "<token of kind 35>",
    "<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>",
  };

}