Relation PARAMETER-SLOT-OF

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

Slots on this relation:

Documentation:

Parameter-slot-of is the inverse of has-parameter-slot: it maps parameter slots to the components to which they have been applied.

Instance-Of: Relation

Arity: 2

Inverse: Has-parameter-slot

Other Related Axioms:

(<=> (Parameter-Slot-Of $Arg1 $Arg2)
     (Has-Parameter-Slot $Arg2 $Arg1))

Notes:

• Formerly-Called: attribute-of