/* Generated By:JavaCC: Do not edit this line. TheParserConstants.java */ package csp; public interface TheParserConstants { int EOF = 0; int INT = 48; int DOUBLE = 49; int EXPON = 50; int TRUE = 58; int FALSE = 59; int CHAR = 60; int STRING = 61; int TEXT = 62; int IDENT = 63; int DEFAULT = 0; String[] tokenImage = { "", "\"(\"", "\"{\"", "\"}\"", "\")\"", "\"csp_config[\"", "\"maxRelNum:\"", "\"maxVariables:\"", "\"]\"", "\".\"", "\"from\"", "\"Alice\"", "\"Bob\"", "\"instance\"", "\"solution\"", "\"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\"", "\"[\"", "\"->\"", "", "", "", "\" \"", "\"\\t\"", "\"\\n\"", "\"\\r\"", "\"\\r\\n\"", "", "", "\"true\"", "\"false\"", "", "", "", "", }; }