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


/**
 * 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 = 48;
  /** RegularExpression Id. */
  int DOUBLE = 49;
  /** RegularExpression Id. */
  int EXPON = 50;
  /** RegularExpression Id. */
  int TRUE = 58;
  /** RegularExpression Id. */
  int FALSE = 59;
  /** RegularExpression Id. */
  int CHAR = 60;
  /** RegularExpression Id. */
  int STRING = 61;
  /** RegularExpression Id. */
  int TEXT = 62;
  /** RegularExpression Id. */
  int IDENT = 63;

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

  /** Literal token values. */
  String[] tokenImage = {
    "<EOF>",
    "\"instance\"",
    "\"source\"",
    "\"sink\"",
    "\"c\"",
    "\"solution\"",
    "\"f\"",
    "\"nwf_config[\"",
    "\"maxN:\"",
    "\"]\"",
    "\".\"",
    "\"from\"",
    "\"Alice\"",
    "\"Bob\"",
    "\"of\"",
    "\"propose\"",
    "\"oppose\"",
    "\"protocolRequest\"",
    "\"provide\"",
    "\"solve\"",
    "\"protocolResponse\"",
    "\"agree\"",
    "\"strengthening\"",
    "\"refuting\"",
    "\"scg_config[\"",
    "\"domain:\"",
    "\"protocols:\"",
    "\"tournamentStyle:\"",
    "\"turnDuration:\"",
    "\"maxNumAvatars:\"",
    "\"minStrengthening:\"",
    "\"initialReputation:\"",
    "\"maxReputation:\"",
    "\"reputationFactor:\"",
    "\"minProposals:\"",
    "\"maxProposals:\"",
    "\"numRounds:\"",
    "\"proposedClaimMustBeNew:\"",
    "\"minConfidence:\"",
    "\"full\"",
    "\"round-robin\"",
    "\"knockout\"",
    "\"swiss\"",
    "\"red\"",
    "\"black\"",
    "\"successors\"",
    "\"(\"",
    "\")\"",
    "<INT>",
    "<DOUBLE>",
    "<EXPON>",
    "\" \"",
    "\"\\t\"",
    "\"\\n\"",
    "\"\\r\"",
    "\"\\r\\n\"",
    "<token of kind 56>",
    "<token of kind 57>",
    "\"true\"",
    "\"false\"",
    "<CHAR>",
    "<STRING>",
    "<TEXT>",
    "<IDENT>",
  };

}
