This theory combines components and constraints. Components are associated with constraints by the binary relation has-constraint. Constraint satisfaction is the application of these constraints to components using satisfies-constraint. A valid-component is a component for which all of its constraints are satisfied, and all of its subcomponents are valid components. Parameters are associated with components via unary functions called parameter-slot's.
Constraint-On Has-Constraint Has-Parameter-Slot Parameter-Slot-Of Used-In-Constraint
The following constants were used from included theories:
All constants that were mentioned were defined.