//cd for generic version

include "general.cd";

package gen;

TypeInstance = <r> RelationNr.
IntermediateProduct = "(assignment:" <assignment> Assignment ")".
RawMaterialInstance = <cs> List(Constraint).
Constraint = <w> Weight <r> RelationNr <vs> List(Variable) *l.
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 = . //this can be "+" if desired.
Neg = "!". //this can be "-" if desired.