Class PARAMETER-SLOT

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

Slots on this class:

Documentation:

An parameter slot is a unary function from COMPONENTs to parameter values. There is no intermediate parameter object when using parameter slots, since the function itself serves as the name of the parameter.

Instance-Of: Class

Subclass-Of: Unary-function

Domain-Of: Used-in-constraint

Range-Of: Has-parameter-slot

---

Slots on instances of this class:

Domain: Component

Other Related Axioms:

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

(=> (Has-Parameter-Slot $X $Y) (Parameter-Slot $Y))

(<= (Domain $X Component) (Parameter-Slot $X))

(=> (Parameter-Slot ?Unary-Function)
    (Domain ?Unary-Function Component))

Notes:

• Formerly-Called: attribute-slot