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

  int EOF = 0;
  int DECIMAL_LITERAL = 40;
  int HEX_LITERAL = 41;
  int OCTAL_LITERAL = 42;
  int FLOATING_POINT_LITERAL = 43;
  int EXPONENT = 44;
  int CHARACTER_LITERAL = 45;
  int STRING_LITERAL = 46;
  int TEXT_LITERAL = 47;
  int TRUE = 48;
  int FALSE = 49;
  int IDENTIFIER = 50;
  int LETTER = 51;
  int DIGIT = 52;
  int LINE = 53;
  int WORD = 58;

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

  String[] tokenImage = {
    "<EOF>",
    "\"<program>\"",
    "\"</program>\"",
    "\"<let>\"",
    "\"<assignment>\"",
    "\"</assignment>\"",
    "\"</let>\"",
    "\"<cnf>\"",
    "\"<clauses>\"",
    "\"</clauses>\"",
    "\"<sat>\"",
    "\"</sat>\"",
    "\"<unsat>\"",
    "\"</unsat>\"",
    "\"</cnf>\"",
    "\"<CNFType>\"",
    "\"</CNFType>\"",
    "\"<clauseType\"",
    "\"length\"",
    "\"=\"",
    "\"positive\"",
    "\"/>\"",
    "\"<clause\"",
    "\"weight\"",
    "\">\"",
    "\"</clause>\"",
    "\"<literals>\"",
    "\"</literals>\"",
    "\"<pos>\"",
    "\"</pos>\"",
    "\"<neg>\"",
    "\"</neg>\"",
    "\"<clausecount>\"",
    "\"</clausecount>\"",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "<token of kind 38>",
    "<token of kind 39>",
    "<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>",
  };

}