;; (define-type dim (record mass::int time::int length::int angle::int))

(define-block
  cruise_ctrl_error__VehiclesDynamics__DrivingForce


  (
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__In1__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__In2__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Out1__In1_1_1
  )

  (
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve__Out1__In1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__In1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__In2_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__GearRatiobyWheelRadius__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__In1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__In2_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__Out1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__In1_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__In2_1_1
    cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__Out1_1_1
  )

  (
    (cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve__Out1__In1_1_1)
  )

  (
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__In1__Out1_1_1 (mk-record 0 0 0 0))
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__In2__Out1_1_1 (mk-record 0 -1 1 0))
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__GearRatiobyWheelRadius__Out1_1_1 (mk-record 0 0 -1 1))
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Out1__In1_1_1 (mk-record 1 -2 1 0))

    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__Out1_1_1  (+ cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__In2_1_1))
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__Out1_1_1  (+ cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__In2_1_1))
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__Out1_1_1  (+ cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__In2_1_1))
    
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__In2_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__GearRatiobyWheelRadius__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__In2_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__GearRatiobyWheelRadius__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__In2_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve__Out1__In1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__In2__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Torque__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__In1__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__Omega__Out1_1_1)
    (- cruise_ctrl_error__VehiclesDynamics__DrivingForce__Out1__In1_1_1 cruise_ctrl_error__VehiclesDynamics__DrivingForce__EngineForce__Out1_1_1)
  )
)