package gen; import edu.neu.ccs.demeterf.demfgen.lib.*; import edu.neu.ccs.demeterf.*; nogen List(X) : Cons(X) | Empty(X). nogen Cons(X) = X List(X). nogen Empty(X) = . nogen Option(X): Some(X) | None(X). nogen Some(X) = X. nogen None(X) = . RawMaterial = List(Constraint) EOF. Constraint = Weight RelationNr List(Variable) *l. Weight = int ":" *s. RelationNr = int *s. Variable = ident *s. // Main = .