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

(define-block
  sldemo_househeat__Heater


  (
    sldemo_househeat__Heater__OnOff__Out1_1_1
    sldemo_househeat__Heater__Troom__Out1_1_1
    sldemo_househeat__Heater__HeatFlow__In1_1_1
  )

  (
    sldemo_househeat__Heater__HeatGain__In1_1_1
    sldemo_househeat__Heater__HeatGain__Out1_1_1
    sldemo_househeat__Heater__HeatGain__Constant_1_1
    sldemo_househeat__Heater__HeaterSwitch__In1_1_1
    sldemo_househeat__Heater__HeaterSwitch__In2_1_1
    sldemo_househeat__Heater__HeaterSwitch__Out1_1_1
    sldemo_househeat__Heater__HeatersAirTemperature__Out1_1_1
    sldemo_househeat__Heater__Sum2__In1_1_1
    sldemo_househeat__Heater__Sum2__In2_1_1
    sldemo_househeat__Heater__Sum2__Out1_1_1
    sldemo_househeat__Heater__ThermostatCommand_1_1
  )

  (
  )

  (
    (- sldemo_househeat__Heater__OnOff__Out1_1_1 (mk-record 0 0 0 0 0))
    (- sldemo_househeat__Heater__Troom__Out1_1_1 (mk-record 0 0 0 0 1))
    (- sldemo_househeat__Heater__HeatGain__Constant_1_1 (mk-record 1 -3 2 0 -1))
    (- sldemo_househeat__Heater__HeatersAirTemperature__Out1_1_1 (mk-record 0 0 0 0 1))
    (- sldemo_househeat__Heater__HeatFlow__In1_1_1 (mk-record 1 -3 2 0 0))

    (- sldemo_househeat__Heater__HeatGain__Out1_1_1 (+ sldemo_househeat__Heater__HeatGain__In1_1_1 sldemo_househeat__Heater__HeatGain__Constant_1_1))
    (- sldemo_househeat__Heater__HeaterSwitch__Out1_1_1  (+ sldemo_househeat__Heater__HeaterSwitch__In1_1_1 sldemo_househeat__Heater__HeaterSwitch__In2_1_1))
    (- sldemo_househeat__Heater__Sum2__Out1_1_1 sldemo_househeat__Heater__Sum2__In1_1_1)
    (- sldemo_househeat__Heater__Sum2__In1_1_1 sldemo_househeat__Heater__Sum2__In2_1_1)
    
    (- sldemo_househeat__Heater__HeaterSwitch__In1_1_1 sldemo_househeat__Heater__ThermostatCommand_1_1)
    (- sldemo_househeat__Heater__HeatFlow__In1_1_1 sldemo_househeat__Heater__HeaterSwitch__Out1_1_1)
    (- sldemo_househeat__Heater__ThermostatCommand_1_1 sldemo_househeat__Heater__OnOff__Out1_1_1)
    (- sldemo_househeat__Heater__HeaterSwitch__In1_1_1 sldemo_househeat__Heater__OnOff__Out1_1_1)
    (- sldemo_househeat__Heater__Sum2__In2_1_1 sldemo_househeat__Heater__HeatersAirTemperature__Out1_1_1)
    (- sldemo_househeat__Heater__Sum2__In1_1_1 sldemo_househeat__Heater__Troom__Out1_1_1)
    (- sldemo_househeat__Heater__HeaterSwitch__In2_1_1 sldemo_househeat__Heater__HeatGain__Out1_1_1)
    (- sldemo_househeat__Heater__HeatGain__In1_1_1 sldemo_househeat__Heater__Sum2__Out1_1_1)
  )
)