net.automatalib.modelchecker.ltsmin.InternalLTSminLTLParserConstants Maven / Gradle / Ivy

/* Generated By:JavaCC: Do not edit this line. InternalLTSminLTLParserConstants.java */
package net.automatalib.modelchecker.ltsmin;


/**
 * Token literal values and constants.
 * Generated by org.javacc.parser.OtherFilesGen#start()
 */
interface InternalLTSminLTLParserConstants {

  /** End of File. */
  int EOF = 0;
  /** RegularExpression Id. */
  int TRUE = 5;
  /** RegularExpression Id. */
  int FALSE = 6;
  /** RegularExpression Id. */
  int BEGIN_LABEL = 7;
  /** RegularExpression Id. */
  int LABEL = 8;
  /** RegularExpression Id. */
  int END_LABEL = 9;
  /** RegularExpression Id. */
  int LETTER_LABEL = 10;
  /** RegularExpression Id. */
  int IO_LABEL = 11;
  /** RegularExpression Id. */
  int ASSIGNMENT = 12;
  /** RegularExpression Id. */
  int LBRACKET = 13;
  /** RegularExpression Id. */
  int RBRACKET = 14;
  /** RegularExpression Id. */
  int NEGATION = 15;
  /** RegularExpression Id. */
  int ALWAYS = 16;
  /** RegularExpression Id. */
  int EVENTUALLY = 17;
  /** RegularExpression Id. */
  int NEXT = 18;
  /** RegularExpression Id. */
  int AND = 19;
  /** RegularExpression Id. */
  int OR = 20;
  /** RegularExpression Id. */
  int EQUIVALENCE = 21;
  /** RegularExpression Id. */
  int IMPLICATION = 22;
  /** RegularExpression Id. */
  int UNTIL = 23;
  /** RegularExpression Id. */
  int RELEASE = 24;

  /** Lexical state. */
  int DEFAULT = 0;
  /** Lexical state. */
  int IN_LABEL = 1;

  /** Literal token values. */
  String[] tokenImage = {
    "",
    "\" \"",
    "\"\\r\"",
    "\"\\t\"",
    "\"\\n\"",
    "\"true\"",
    "\"false\"",
    "\"\\\"\"",
    "",
    "\"\\\"\"",
    "\"letter\"",
    "",
    "\"==\"",
    "\"(\"",
    "\")\"",
    "\"!\"",
    "\"[]\"",
    "\"<>\"",
    "\"X\"",
    "\"&&\"",
    "\"||\"",
    "\"<->\"",
    "\"->\"",
    "\"U\"",
    "\"R\"",
  };

}