Function PARAMETER.VALUE

• Defined in theory: Parametric-constraints
• Source code: parametric-constraints.lisp

Slots on this function:

Documentation:

Parameter.value is the function from parameter names to parameter values. It is defined as a special case of KIF denotation: when given an object constant that is a parameter-name, the parameter.value is the denotation of the object constant. When given anything else, the function is indefined (i.e., returns BOTTOM).

This theory does not put any restriction on the possible values of a parameter. Such restrictions can be done with constraints on a per-model basis.

Arity: 2

Axioms:

(=> (Parameter.Value ?Parameter-Name ?Value)
    (And (Parameter-Name ?Parameter-Name)
         (= ?Value (Denotation ?Parameter-Name))))