nogen include "../scg/scg.cd";

package csp;

import scg.*;

CSPInstance = <vars> List(Var) *s <clauses> Cons(Clause) implements InstanceI .
Clause = "(" <relnum> int *s "{" <weight> int "}" *s <vars> List(Var) ")".
// Using the new ListMap, instead
CSPSolution = <assign> ListMap(Var,Boolean) implements SolutionI. 
Var = <id> ident implements Comparable(Var).
CSPInstanceSet = "(" <type> ListSet(Integer) ")" implements InstanceSetI.

CSPDomain = implements DomainI.