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

(define-block
  cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve


  (
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Out1__In1_1_1
  )

  (
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__One__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In3_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In2_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Tm__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__beta__Out1_1_1
    cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__wm__Out1_1_1
  )

  (
  )

  (
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1 (mk-record 0 -1 0 1))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__One__Out1_1_1 (mk-record 0 0 0 0))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Tm__Out1_1_1 (mk-record 1 -2 2 -1))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__beta__Out1_1_1 (mk-record 0 0 0 0))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__wm__Out1_1_1 (mk-record 0 -1 0 1))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Out1__In1_1_1 (mk-record 1 -2 2 -1))

    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__Out1_1_1  (+ cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__In1_1_1 (inverse cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__In2_1_1)))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__Out1_1_1  (+ cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__In1_1_1 (inverse cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__In2_1_1)))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__Out1_1_1  (+ cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In1_1_1 (+ cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In3_1_1)))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__Out1_1_1  (+ cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__In2_1_1))
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__Out1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In2_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__Out1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In2_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__Out1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In2_1_1)
    
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__One__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__One__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__One__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Out1__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract2__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__In3__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In3_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__beta__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__wm__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__wm__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Divide1__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product1__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Tm__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In2_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract1__Out1_1_1)
    (- cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Product__In1_1_1 cruise_ctrl__VehiclesDynamics__DrivingForce__TorqueCurve__Subtract__Out1_1_1)
  )
)