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

  int EOF = 0;
  int NUMBER = 7;
  int EOL = 8;
  int DESCRIPTION_ASSIGN = 9;
  int VALUE_ASSIGN = 10;
  int SEMICOLON = 11;
  int COMMA = 12;
  int GT = 13;
  int LT = 14;
  int LBRACE = 15;
  int RBRACE = 16;
  int LBRACKET = 17;
  int RBRACKET = 18;
  int IMPLICIT_RELATION_REMOVE = 19;
  int IF = 20;
  int THEN = 21;
  int ELSE = 22;
  int EXIT = 23;
  int TRANSLATE = 24;
  int LIST_COMMAND = 25;
  int SET_SYSTEM = 26;
  int CURRENT_SYSTEM = 27;
  int VALID = 28;
  int SATISFIABLE = 29;
  int SWITCH_TO_INTERACTIVE_MODE = 30;
  int INPUT_FILE = 31;
  int CREATE_RELATION = 32;
  int ADD_TO_RELATION = 33;
  int REMOVE_FROM_RELATION = 34;
  int SHOW_RELATION = 35;
  int SET_RELATION = 36;
  int SET_BORDERLINE = 37;
  int TRUE = 38;
  int FALSE = 39;
  int NOT = 40;
  int AND = 41;
  int OR = 42;
  int IMPLIES = 43;
  int IFF = 44;
  int MODELS = 45;
  int DIGIT = 46;
  int IDENTIFIER = 47;
  int LETTER = 48;
  int STRING_LITERAL = 49;
  int ESCAPE_SEQUENCE = 50;
  int ECHO_STRING = 51;

  int DEFAULT = 0;

  String[] tokenImage = {
    "<EOF>",
    "\" \"",
    "\"\\r\"",
    "\"\\t\"",
    "<token of kind 4>",
    "<token of kind 5>",
    "<token of kind 6>",
    "<NUMBER>",
    "\"\\n\"",
    "\":\"",
    "\"=\"",
    "\";\"",
    "\",\"",
    "\">\"",
    "\"<\"",
    "\"{\"",
    "\"}\"",
    "\"[\"",
    "\"]\"",
    "\"\\\\\"",
    "\"if\"",
    "\"then\"",
    "\"else\"",
    "\":exit\"",
    "<TRANSLATE>",
    "\":table\"",
    "\":setSystem\"",
    "\":currentSystem\"",
    "\":valid\"",
    "\":satisfiable\"",
    "\":interactiveMode\"",
    "\":inputFile\"",
    "\":createR\"",
    "\":addR\"",
    "\":removeR\"",
    "\":showR\"",
    "\":setR\"",
    "\":setBorderline\"",
    "<TRUE>",
    "<FALSE>",
    "<NOT>",
    "<AND>",
    "<OR>",
    "<IMPLIES>",
    "<IFF>",
    "\"|=\"",
    "<DIGIT>",
    "<IDENTIFIER>",
    "<LETTER>",
    "<STRING_LITERAL>",
    "<ESCAPE_SEQUENCE>",
    "<ECHO_STRING>",
    "\"(\"",
    "\")\"",
  };

}
