module languages/fdl/syntax/Constraints

imports languages/fdl/syntax/Layout
	languages/fdl/syntax/AtomicFeatures

exports

sorts Constraint DiagramConstraint UserConstraint

context-free syntax

DiagramConstraint -> Constraint {cons("diagramconstraint")}
UserConstraint -> Constraint {cons("userconstraint")}
AtomicFeature "requires" AtomicFeature -> DiagramConstraint {cons("requires")}
AtomicFeature "excludes" AtomicFeature -> DiagramConstraint {cons("excludes")}
"include" AtomicFeature -> UserConstraint {cons("include")}
"exclude" AtomicFeature -> UserConstraint {cons("exclude")}