// CD for Classic version
include "general.cd";

package gen;

Type = "type" *s <kind> Kind *s "[" <instances> List(TypeInstance) "]".
Kind : Classic | Secret.
Classic = "classic".
Secret = "secret".

TypeInstance = <r> RelationNr.
IntermediateProduct = "(assignment:" <assignment> Assignment ")".

RawMaterialInstance = <cs> List(Constraint) *s <secret> Option(SecretOfRawMaterial).
SecretOfRawMaterial = <assign> Option(Assignment) *s <quality> Quality.

Constraint = *l <w> Weight <r> RelationNr <vs> List(Variable).
Weight = <v> int ":" *s.
RelationNr = <v> int *s.
Variable = <v> ident *s.
Predicate = <pred> List(RelationNr).

Assignment = "[" <literals> List(Literal) "]".
Literal = *s <value> Sign *s <var> Variable *s.
Sign: Neg | Pos.
Pos = .    // Can be "+" if desired.
Neg = "!". // Can be "-" if desired.