/* Generated By:JavaCC: Do not edit this line. TheParserConstants.java */
package gen;


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

  /** End of File. */
  int EOF = 0;
  /** RegularExpression Id. */
  int INT = 27;
  /** RegularExpression Id. */
  int DOUBLE = 28;
  /** RegularExpression Id. */
  int EXPON = 29;
  /** RegularExpression Id. */
  int TRUE = 37;
  /** RegularExpression Id. */
  int FALSE = 38;
  /** RegularExpression Id. */
  int CHAR = 39;
  /** RegularExpression Id. */
  int STRING = 40;
  /** RegularExpression Id. */
  int TEXT = 41;
  /** RegularExpression Id. */
  int IDENT = 42;

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

  /** Literal token values. */
  String[] tokenImage = {
    "<EOF>",
    "\"game-specific intensional definition\"",
    "\"claim\"",
    "\"protocols\"",
    "\"AE\"",
    "\"protocol\"",
    "\"EA\"",
    "\"positive\"",
    "\"secret\"",
    "\"negative\"",
    "\"Renaissance\"",
    "\"proposer\"",
    "\"refuter\"",
    "\"steps\"",
    "\"Alice\"",
    "\"Bob\"",
    "\"instance\"",
    "\"from\"",
    "\"solution\"",
    "\"of\"",
    "\"reply\"",
    "\"e\"",
    "\"game-specific Instance\"",
    "\"game-specific Solution\"",
    "\"domain\"",
    "\"red\"",
    "\"black\"",
    "<INT>",
    "<DOUBLE>",
    "<EXPON>",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "\"\\r\\n\"",
    "<token of kind 35>",
    "<token of kind 36>",
    "\"true\"",
    "\"false\"",
    "<CHAR>",
    "<STRING>",
    "<TEXT>",
    "<IDENT>",
  };

}