this.carbonMonoxideLatestValue = "tested"
}
}*/
- smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue))
+ smokeDetectors.add(new SmokeDetector(id, label, displayName, this.currentSmokeValue, this.smokeLatestValue, this.carbonMonoxide, this.carbonMonoxideLatestValue, this.battery))
}
//By Model Checker
this.coolingSetpoint = coolingSetpoint
this.currentHeatingSetpoint = heatingSetpoint
this.heatingSetpoint = heatingSetpoint
+ this.latestCoolingSetPoint = coolingSetpoint
+ this.latestHeatingSetpoint = heatingSetpoint
thermostats[0].setHold(info1, coolingSetpoint, heatingSetpoint, info2, info3)
}
}