Relation USED-IN-CONSTRAINT

• Defined in theory: Components-with-constraints
• Source code: components-with-constraints.lisp

Slots on this relation:

Documentation:

Maps an parameter-slot to those constraints in which is it used as a function. For human convenience.

Instance-Of: Relation

Arity: 2

Domain: Parameter-slot

Range: Constraint

Other Related Axioms:

(=> (Used-In-Constraint $X $Y) (Constraint $Y))

(=> (Used-In-Constraint $X $Y) (Parameter-Slot $X))