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

(define-block
  sldemo_enginewc__ThrottleAndManifold__Throttle


  (
    sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleAngle__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__ManifoldPressure__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__AtmosphericPressure__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleFlow__In1_1_1
  )

  (
    sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In3_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__SonicFlow__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In3_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__Threshold_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__f_theta__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__f_theta__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__flow_direction__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__flow_direction__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Throttle__pratio_1_1
  )

  (
  )

  (
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleAngle__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__ManifoldPressure__Out1_1_1 (mk-record -2 -1 1))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__AtmosphericPressure__Out1_1_1 (mk-record -2 -1 1))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__SonicFlow__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__Threshold_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__f_theta__In1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__In1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleFlow__In1_1_1 (mk-record -1 0 1))

    (- sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In2_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In2_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product__Out1_1_1  (+ sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In1_1_1 (+ sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In3_1_1)))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__Out1_1_1  (+ sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__In1_1_1 (inverse sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__In2_1_1)))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__Out1_1_1  (+ (inverse sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__In1_1_1) sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__In2_1_1))
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In2_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In3_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In3_1_1)
    
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In3_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__SonicFlow__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__flow_direction__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__f_theta__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__ManifoldPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__ManifoldPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__ManifoldPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__pratio_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleFlow__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Product__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Sum__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__AtmosphericPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product2__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__AtmosphericPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__AtmosphericPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__pratio_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__g_pratio__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__pratio_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__f_theta__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleAngle__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__MinMax__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Product1__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In2_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__Switch__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__Product__In3_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__flow_direction__Out1_1_1)
  )
)