Function CAR_POSITION_INDICATOR_WEIGHT

• Defined in theory: Vt-domain
• Source code: vt-domain.lisp

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function

Arity: 2

Parameter-Slot-Of: Car_position_indicator, Car_position_indicator_m01, Car_position_indicator_m02

Used-In-Constraint: Car_fixture_weight_c

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Car_Position_Indicator
                       Car_Position_Indicator_Weight
                       Integer)

(Inherited-Facet-Value Slot-Cardinality
                       Car_Position_Indicator
                       Car_Position_Indicator_Weight
                       1)

(<= (Has-Parameter-Slot $X Car_Position_Indicator_Weight)
    (Car_Position_Indicator $X))

(Inherited-Slot-Value Car_Position_Indicator
                      Has-Parameter-Slot
                      Car_Position_Indicator_Weight)

(<= (Car_Position_Indicator_Weight $X 0)
    (Car_Position_Indicator_M01 $X))

(<= (Has-Parameter-Slot $X Car_Position_Indicator_Weight)
    (Car_Position_Indicator_M01 $X))

(Inherited-Slot-Value Car_Position_Indicator_M01
                      Has-Parameter-Slot
                      Car_Position_Indicator_Weight)

(<= (Car_Position_Indicator_Weight $X 12)
    (Car_Position_Indicator_M02 $X))

(<= (Has-Parameter-Slot $X Car_Position_Indicator_Weight)
    (Car_Position_Indicator_M02 $X))

(Inherited-Slot-Value Car_Position_Indicator_M02
                      Has-Parameter-Slot
                      Car_Position_Indicator_Weight)

Notes:

• Formerly-Called: weight
• This used to be called WEIGHT, and used polymorphically. Now there are several different parameters, as suggested by Guus.
• Modification-By: Guus Schreiber: ;; BUG: renaming not done for parameter slot WEIGHT ;; ;; In the last version all paramter slots were consistently renamed ;; Probaly by accident, "weight" was not renamed in 5 cases. ;; The weight paramter slot should probably be replaced by the following ;; five parameter slots: ;; car_guiderail_weight, ;; car_phone_weight ;; car_intercom_weight ;; car_position_indicator_weight ;; car_lantern_weight ;; ;; The constraint car_fixture_weight_c will need to be changed accordingly