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.

Arity: 2

Domain: Parameter-slot

Range: Constraint