module languages/fdl/syntax/Fdl

imports languages/fdl/syntax/Definitions
	languages/fdl/syntax/Constraints
	

hiddens
context-free start-symbols
	FeatureDiagram FeatureName FeatureExpression AtomicFeature

exports

sorts FeatureDiagram 

context-free syntax	

FeatureDefinition* Constraint* -> FeatureDiagram {cons("featurediagram")}
