include "lib.java.cd";
package gen;

PlayerID = <id> int implements Comparable(PlayerID).
Var = <id> ident implements Comparable(Var).

Solution = <assign> Map(Var,Boolean).
Challenge = OfferedChallenge
          | AcceptedChallenge 
          | ProvidedChallenge
          | SolvedChallenge *s
          <key> int *s
          <challenger> PlayerID *s
          <pred> ProblemType *s
          <price> double "]".
         
OfferedChallenge = "offered[".

AcceptedChallenge = "accepted["
                    <challengee> PlayerID.
ProvidedChallenge = "provided["
                     <challengee> PlayerID  *s
                     <instance> Problem.
SolvedChallenge = "solved["
                  <challengee> PlayerID *s
                  <instance> Problem *s
                  <solution> Solution.

// ----------------------------

Problem = <var> List(Var) <clauses> List(Clause).
Clause = "(" <relnum> int *s <vars> List(Var) ")".
ProblemType = "(" <type> List(Integer) ")".


interface Objective = .
interface Predicate = .