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

(define-block
  sldemo_enginewc__ThrottleAndManifold


  (
    sldemo_enginewc__ThrottleAndManifold__ThrottleAngle__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__EngineSpeedN__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__trigger__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__mass_kplus1__In1_1_1
  )

  (
    sldemo_enginewc__ThrottleAndManifold__IntakeManifold__mdotInput__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__IntakeManifold__N__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__IntakeManifold__mdot_to_Cylinder__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__IntakeManifold__ManifoldPressure_Pm__In1_1_1
    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__0<=theta<=90__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__0<=theta<=90__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__AtmosphericPressure__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Intake__In1_1_1
    sldemo_enginewc__ThrottleAndManifold__Intake__In2_1_1
    sldemo_enginewc__ThrottleAndManifold__Intake__Out1_1_1
    sldemo_enginewc__ThrottleAndManifold__Intake__Outstate_1_1
    sldemo_enginewc__ThrottleAndManifold__Terminator__In1_1_1
  )

  (
    (sldemo_enginewc__ThrottleAndManifold__IntakeManifold sldemo_enginewc__ThrottleAndManifold__IntakeManifold__mdotInput__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__IntakeManifold__N__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__IntakeManifold__mdot_to_Cylinder__In1_1_1 sldemo_enginewc__ThrottleAndManifold__IntakeManifold__ManifoldPressure_Pm__In1_1_1)
    (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__ThrottleAngle__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__EngineSpeedN__Out1_1_1 (mk-record -1 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__trigger__Out1_1_1 (mk-record 0 0 0))
    (- sldemo_enginewc__ThrottleAndManifold__AtmosphericPressure__Out1_1_1 (mk-record -2 -1 1))
    (- sldemo_enginewc__ThrottleAndManifold__Terminator__In1_1_1 (mk-record 0 0 1))
    (- sldemo_enginewc__ThrottleAndManifold__mass_kplus1__In1_1_1 (mk-record 0 0 1))

    (- sldemo_enginewc__ThrottleAndManifold__0<=theta<=90__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__0<=theta<=90__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Intake__Out1_1_1 (increment sldemo_enginewc__ThrottleAndManifold__Intake__In1_1_1 0 1))
    
    (- sldemo_enginewc__ThrottleAndManifold__IntakeManifold__mdotInput__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleFlow__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__IntakeManifold__N__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__EngineSpeedN__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__ThrottleAngle__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__0<=theta<=90__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Intake__In1_1_1 sldemo_enginewc__ThrottleAndManifold__IntakeManifold__mdot_to_Cylinder__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__ManifoldPressure__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__IntakeManifold__ManifoldPressure_Pm__In1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Intake__In2_1_1 sldemo_enginewc__ThrottleAndManifold__trigger__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Terminator__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Intake__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__mass_kplus1__In1_1_1 sldemo_enginewc__ThrottleAndManifold__Intake__Outstate_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__Throttle__AtmosphericPressure__Out1_1_1 sldemo_enginewc__ThrottleAndManifold__AtmosphericPressure__Out1_1_1)
    (- sldemo_enginewc__ThrottleAndManifold__0<=theta<=90__In1_1_1 sldemo_enginewc__ThrottleAndManifold__ThrottleAngle__Out1_1_1)
  )
)