Function PLATFORM_WIDTH_F


Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function
Arity: 2
Parameter-Slot-Of: Elevator, Platform_model
Used-In-Constraint:
C-41, Car_cab_weight_c, Car_return_left_c01, Car_return_left_c03, Car_return_left_c04, Car_return_left_c06, Car_return_left_c07, Car_return_left_c09, Car_return_right_c, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, Platform_weight_factor_ap_c02, Platform_weight_factor_ap_c03, Platform_weight_factor_ap_c04, Platform_weight_factor_ap_c05, Platform_weight_factor_ap_c06, Platform_weight_factor_ap_c07, Platform_weight_factor_ap_c08, Platform_weight_factor_ap_c09, Platform_weight_factor_ap_c10, Platform_weight_factor_ap_c11, Platform_width_c01, Safety_beam_between_guiderails_c, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03, Safety_beam_weight_c, Sling_weight_c

Notes: