NightCycleOperation
====================================================================

Brief Description
-------------------------------------------------------------------------------
Tspr tool software development

Index Description
-------------------------------------------------------------------------------
   * None

Datapoints Description
-------------------------------------------------------------------------------
   * temperature_air_zone: Zone air temperature
   * status_hvac: HVAC operation schedule
   * temperature_air_zone_heat_setpoint: Zone heating temperature setpoint
   * temperature_air_zone_cool_setpoint: Zone cooling temperature setpoint
   * power_fan: Fan power

Assertions Description
-------------------------------------------------------------------------------
   * if temperature_air_zone_heat_setpoint <= temperature_air_zone <= temperature_air_zone_cool_setpoint and power_fan == 0 then x1=0 else x1=1, if (temperature_air_zone > temperature_air_zone_cool_setpoint and power_fan >= 0) and (temperature_air_zone < temperature_air_zone_heat_setpoint and p_power_fan > 0) then x2=0 else x=1, if x1 and x2=0, then pass, elseif x1=0 and x2=1 then fail, elseif x1=1 and x2=0 then fail, elseif x1=1 and x2=1 then fail

Type Verification Description
-------------------------------------------------------------------------------
Procedure-based

Assertions Type
-------------------------------------------------------------------------------
Pass