include "lib.java.cd";

package gen;
import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import java.lang.Integer;


// this is for one playground where games of the same kind take place
// there is one domain and one claim kind
// In other words only one court with one tournament

Config =  <scg> SCGConfig  <domain> DomainConfig.
SCGConfig =
  "scg_config["
            *l*t "tournamentStyle:" *s <tournamentStyle> TournamentStyle

            *l*t "turnDuration:" *s <turnDuration> int
	    // number of seconds

            *l*t "maxNumAvatars:" *s <maxNumAvatars> int
	    // per tournament

            *l*t "minStrengthening:" *s <minStrengthening> double
	    // minimum amount of strengthening by a strengthening oppose

            *l*t "initialReputation:" *s <initialReputation> double
	    // initial reputation of an avatar

            *l*t "maxReputation:" *s <maxReputation> double
	    // maximum reputation a scholar can reach
	    // game ends when reached

            *l*t "reputationFactor:" *s <reputationFactor> double
	    // a number in [0,1] used to determine reputation gain
	    // upon successful defense of own claim or
	    // upon successful refutation of claim of another scholar.

            *l*t "minProposals:" *s <minProposals> int
            *l*t "maxProposals:" *s <maxProposals> int
	    // scholars must stay active, but not too active

            *l*t "numRounds:" *s <numRounds> int
	    // the number of rounds for a tournament

            *l*t "proposedClaimMustBeNew:" *s <proposedClaimMustBeNew> boolean
	    // proposed claims must be different from previously proposed claims

            *l
         "]".
 
TournamentStyle = FullRoundRobin | KnockOut | SwissStyleTournament.
FullRoundRobin = "full" "round-robin". 
KnockOut = "knockout".
SwissStyleTournament = "swiss".

DomainConfig =
  "domain_config["
            *l*t "maxSize:" *s <maxSize> int
// InstanceI gets a method float size() that returns the size of an instance.
// we want the size concept to be domain specific.
// the value returned by size() <= maxSize

            *l
         "]".