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

(define-block
  sldemo_househeat__House


  (
    sldemo_househeat__House__HeaterQDotIn__Out1_1_1
    sldemo_househeat__House__OutdoorTempTout__Out1_1_1
    sldemo_househeat__House__RoomTempTroom__In1_1_1
  )

  (
    sldemo_househeat__House__HeatLosses__In1_1_1
    sldemo_househeat__House__HeatLosses__Out1_1_1
    sldemo_househeat__House__HeatLosses__Constant_1_1
    sldemo_househeat__House__Integrator__In1_1_1
    sldemo_househeat__House__Integrator__Out1_1_1
    sldemo_househeat__House__OneDividedbyMc__In1_1_1
    sldemo_househeat__House__OneDividedbyMc__Out1_1_1
    sldemo_househeat__House__OneDividedbyMc__Constant_1_1
    sldemo_househeat__House__Sum1__In1_1_1
    sldemo_househeat__House__Sum1__In2_1_1
    sldemo_househeat__House__Sum1__Out1_1_1
    sldemo_househeat__House__Sum2__In1_1_1
    sldemo_househeat__House__Sum2__In2_1_1
    sldemo_househeat__House__Sum2__Out1_1_1
  )

  (
  )

  (
    (- sldemo_househeat__House__HeaterQDotIn__Out1_1_1 (mk-record 1 -3 2 0 0))
    (- sldemo_househeat__House__OutdoorTempTout__Out1_1_1 (mk-record 0 0 0 0 1))
    (- sldemo_househeat__House__HeatLosses__Constant_1_1 (mk-record 1 -3 2 0 -1))
    (- sldemo_househeat__House__OneDividedbyMc__Constant_1_1 (mk-record -1 2 -2 0 1))
    (- sldemo_househeat__House__RoomTempTroom__In1_1_1 (mk-record 0 0 0 0 1))

    (- sldemo_househeat__House__HeatLosses__Out1_1_1 (+ sldemo_househeat__House__HeatLosses__In1_1_1 sldemo_househeat__House__HeatLosses__Constant_1_1))
    (- sldemo_househeat__House__Integrator__Out1_1_1 (increment sldemo_househeat__House__Integrator__In1_1_1 1 1))
    (- sldemo_househeat__House__OneDividedbyMc__Out1_1_1 (+ sldemo_househeat__House__OneDividedbyMc__In1_1_1 sldemo_househeat__House__OneDividedbyMc__Constant_1_1))
    (- sldemo_househeat__House__Sum1__Out1_1_1 sldemo_househeat__House__Sum1__In1_1_1)
    (- sldemo_househeat__House__Sum1__In1_1_1 sldemo_househeat__House__Sum1__In2_1_1)
    (- sldemo_househeat__House__Sum2__Out1_1_1 sldemo_househeat__House__Sum2__In1_1_1)
    (- sldemo_househeat__House__Sum2__In1_1_1 sldemo_househeat__House__Sum2__In2_1_1)
    
    (- sldemo_househeat__House__HeatLosses__In1_1_1 sldemo_househeat__House__Sum2__Out1_1_1)
    (- sldemo_househeat__House__Sum1__In1_1_1 sldemo_househeat__House__HeaterQDotIn__Out1_1_1)
    (- sldemo_househeat__House__Sum2__In2_1_1 sldemo_househeat__House__OutdoorTempTout__Out1_1_1)
    (- sldemo_househeat__House__Sum2__In1_1_1 sldemo_househeat__House__Integrator__Out1_1_1)
    (- sldemo_househeat__House__RoomTempTroom__In1_1_1 sldemo_househeat__House__Integrator__Out1_1_1)
    (- sldemo_househeat__House__Sum1__In2_1_1 sldemo_househeat__House__HeatLosses__Out1_1_1)
    (- sldemo_househeat__House__Integrator__In1_1_1 sldemo_househeat__House__OneDividedbyMc__Out1_1_1)
    (- sldemo_househeat__House__OneDividedbyMc__In1_1_1 sldemo_househeat__House__Sum1__Out1_1_1)
  )
)