/* Generated By:JavaCC: Do not edit this line. PrismParserConstants.java */
package parser;


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

  /** End of File. */
  int EOF = 0;
  /** RegularExpression Id. */
  int WHITESPACE = 1;
  /** RegularExpression Id. */
  int COMMENT = 2;
  /** RegularExpression Id. */
  int A = 3;
  /** RegularExpression Id. */
  int BOOL = 4;
  /** RegularExpression Id. */
  int CLOCK = 5;
  /** RegularExpression Id. */
  int CONST = 6;
  /** RegularExpression Id. */
  int CTMC = 7;
  /** RegularExpression Id. */
  int CTMDP = 8;
  /** RegularExpression Id. */
  int C = 9;
  /** RegularExpression Id. */
  int DISCOUNT = 10;
  /** RegularExpression Id. */
  int DOUBLE = 11;
  /** RegularExpression Id. */
  int DTMC = 12;
  /** RegularExpression Id. */
  int E = 13;
  /** RegularExpression Id. */
  int ENDINIT = 14;
  /** RegularExpression Id. */
  int ENDINVARIANT = 15;
  /** RegularExpression Id. */
  int ENDMODULE = 16;
  /** RegularExpression Id. */
  int ENDPLAYER = 17;
  /** RegularExpression Id. */
  int ENDREWARDS = 18;
  /** RegularExpression Id. */
  int ENDSYSTEM = 19;
  /** RegularExpression Id. */
  int FALSE = 20;
  /** RegularExpression Id. */
  int FORMULA = 21;
  /** RegularExpression Id. */
  int FILTER = 22;
  /** RegularExpression Id. */
  int FUNC = 23;
  /** RegularExpression Id. */
  int F = 24;
  /** RegularExpression Id. */
  int Fc = 25;
  /** RegularExpression Id. */
  int F0 = 26;
  /** RegularExpression Id. */
  int GLOBAL = 27;
  /** RegularExpression Id. */
  int G = 28;
  /** RegularExpression Id. */
  int INIT = 29;
  /** RegularExpression Id. */
  int INVARIANT = 30;
  /** RegularExpression Id. */
  int I = 31;
  /** RegularExpression Id. */
  int INT = 32;
  /** RegularExpression Id. */
  int LABEL = 33;
  /** RegularExpression Id. */
  int MAXMAX = 34;
  /** RegularExpression Id. */
  int MAXMIN = 35;
  /** RegularExpression Id. */
  int MAX = 36;
  /** RegularExpression Id. */
  int MDP = 37;
  /** RegularExpression Id. */
  int MINMAX = 38;
  /** RegularExpression Id. */
  int MINMIN = 39;
  /** RegularExpression Id. */
  int MIN = 40;
  /** RegularExpression Id. */
  int MODULE = 41;
  /** RegularExpression Id. */
  int X = 42;
  /** RegularExpression Id. */
  int NONDETERMINISTIC = 43;
  /** RegularExpression Id. */
  int PMAXMAX = 44;
  /** RegularExpression Id. */
  int PMAXMIN = 45;
  /** RegularExpression Id. */
  int PMAX = 46;
  /** RegularExpression Id. */
  int PMINMAX = 47;
  /** RegularExpression Id. */
  int PMINMIN = 48;
  /** RegularExpression Id. */
  int PMIN = 49;
  /** RegularExpression Id. */
  int P = 50;
  /** RegularExpression Id. */
  int PLAYER = 51;
  /** RegularExpression Id. */
  int PROBABILISTIC = 52;
  /** RegularExpression Id. */
  int PROB = 53;
  /** RegularExpression Id. */
  int PTA = 54;
  /** RegularExpression Id. */
  int RATE = 55;
  /** RegularExpression Id. */
  int REWARDS = 56;
  /** RegularExpression Id. */
  int RMAXMAX = 57;
  /** RegularExpression Id. */
  int RMAXMIN = 58;
  /** RegularExpression Id. */
  int RMAX = 59;
  /** RegularExpression Id. */
  int RMINMAX = 60;
  /** RegularExpression Id. */
  int RMINMIN = 61;
  /** RegularExpression Id. */
  int RMIN = 62;
  /** RegularExpression Id. */
  int R = 63;
  /** RegularExpression Id. */
  int S = 64;
  /** RegularExpression Id. */
  int STOCHASTIC = 65;
  /** RegularExpression Id. */
  int STPG = 66;
  /** RegularExpression Id. */
  int SMG = 67;
  /** RegularExpression Id. */
  int SYSTEM = 68;
  /** RegularExpression Id. */
  int TRUE = 69;
  /** RegularExpression Id. */
  int U = 70;
  /** RegularExpression Id. */
  int W = 71;
  /** RegularExpression Id. */
  int NOT = 72;
  /** RegularExpression Id. */
  int AND = 73;
  /** RegularExpression Id. */
  int OR = 74;
  /** RegularExpression Id. */
  int IMPLIES = 75;
  /** RegularExpression Id. */
  int IFF = 76;
  /** RegularExpression Id. */
  int RARROW = 77;
  /** RegularExpression Id. */
  int COLON = 78;
  /** RegularExpression Id. */
  int SEMICOLON = 79;
  /** RegularExpression Id. */
  int COMMA = 80;
  /** RegularExpression Id. */
  int DOTS = 81;
  /** RegularExpression Id. */
  int LPARENTH = 82;
  /** RegularExpression Id. */
  int RPARENTH = 83;
  /** RegularExpression Id. */
  int LBRACKET = 84;
  /** RegularExpression Id. */
  int RBRACKET = 85;
  /** RegularExpression Id. */
  int LBRACE = 86;
  /** RegularExpression Id. */
  int RBRACE = 87;
  /** RegularExpression Id. */
  int EQ = 88;
  /** RegularExpression Id. */
  int NE = 89;
  /** RegularExpression Id. */
  int LT = 90;
  /** RegularExpression Id. */
  int GT = 91;
  /** RegularExpression Id. */
  int PATLL = 92;
  /** RegularExpression Id. */
  int PATLR = 93;
  /** RegularExpression Id. */
  int LE = 94;
  /** RegularExpression Id. */
  int GE = 95;
  /** RegularExpression Id. */
  int PLUS = 96;
  /** RegularExpression Id. */
  int MINUS = 97;
  /** RegularExpression Id. */
  int TIMES = 98;
  /** RegularExpression Id. */
  int DIVIDE = 99;
  /** RegularExpression Id. */
  int PRIME = 100;
  /** RegularExpression Id. */
  int RENAME = 101;
  /** RegularExpression Id. */
  int QMARK = 102;
  /** RegularExpression Id. */
  int DQUOTE = 103;
  /** RegularExpression Id. */
  int REG_INT = 104;
  /** RegularExpression Id. */
  int REG_DOUBLE = 105;
  /** RegularExpression Id. */
  int REG_IDENTPRIME = 106;
  /** RegularExpression Id. */
  int REG_IDENT = 107;
  /** RegularExpression Id. */
  int PREPROC = 108;
  /** RegularExpression Id. */
  int LEXICAL_ERROR = 109;

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

  /** Literal token values. */
  String[] tokenImage = {
    "<EOF>",
    "<WHITESPACE>",
    "<COMMENT>",
    "\"A\"",
    "\"bool\"",
    "\"clock\"",
    "\"const\"",
    "\"ctmc\"",
    "\"ctmdp\"",
    "\"C\"",
    "\"disc\"",
    "\"double\"",
    "\"dtmc\"",
    "\"E\"",
    "\"endinit\"",
    "\"endinvariant\"",
    "\"endmodule\"",
    "\"endplayer\"",
    "\"endrewards\"",
    "\"endsystem\"",
    "\"false\"",
    "\"formula\"",
    "\"filter\"",
    "\"func\"",
    "\"F\"",
    "\"Fc\"",
    "\"F0\"",
    "\"global\"",
    "\"G\"",
    "\"init\"",
    "\"invariant\"",
    "\"I\"",
    "\"int\"",
    "\"label\"",
    "\"maxmax\"",
    "\"maxmin\"",
    "\"max\"",
    "\"mdp\"",
    "\"minmax\"",
    "\"minmin\"",
    "\"min\"",
    "\"module\"",
    "\"X\"",
    "\"nondeterministic\"",
    "\"Pmaxmax\"",
    "\"Pmaxmin\"",
    "\"Pmax\"",
    "\"Pminmax\"",
    "\"Pminmin\"",
    "\"Pmin\"",
    "\"P\"",
    "\"player\"",
    "\"probabilistic\"",
    "\"prob\"",
    "\"pta\"",
    "\"rate\"",
    "\"rewards\"",
    "\"Rmaxmax\"",
    "\"Rmaxmin\"",
    "\"Rmax\"",
    "\"Rminmax\"",
    "\"Rminmin\"",
    "\"Rmin\"",
    "\"R\"",
    "\"S\"",
    "\"stochastic\"",
    "\"stpg\"",
    "\"smg\"",
    "\"system\"",
    "\"true\"",
    "\"U\"",
    "\"W\"",
    "\"!\"",
    "\"&\"",
    "\"|\"",
    "\"=>\"",
    "\"<=>\"",
    "\"->\"",
    "\":\"",
    "\";\"",
    "\",\"",
    "\"..\"",
    "\"(\"",
    "\")\"",
    "\"[\"",
    "\"]\"",
    "\"{\"",
    "\"}\"",
    "\"=\"",
    "\"!=\"",
    "\"<\"",
    "\">\"",
    "\"<<\"",
    "\">>\"",
    "\"<=\"",
    "\">=\"",
    "\"+\"",
    "\"-\"",
    "\"*\"",
    "\"/\"",
    "\"\\\'\"",
    "\"<-\"",
    "\"?\"",
    "\"\\\"\"",
    "<REG_INT>",
    "<REG_DOUBLE>",
    "<REG_IDENTPRIME>",
    "<REG_IDENT>",
    "<PREPROC>",
    "<LEXICAL_ERROR>",
  };

}
