// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 2호
Check(RFB_13_1_2){
IF CS THEN KS
}
CS{
isExist(Boiler) = TRUE
isObjectProperty(Boiler.isElectricBoiler) = FALSE
}
KS{
Ventilator myVentilator{
getObjectArea(Ventilator) >= 0.5cm2
}
Space mySpace{
getSpaceUsage(Space) = "BoilerRoom"
}
isInstalled(myVentilator, mySpace, a, top) = TRUE
AirInlet myAirInlet{
getObjectDiameter(AirInlet, b) >= 10cm
}
AirOutlet myAirOutlet{
getObjectDiameter(AirOutlet, b) >= 10cm
}
(isInstalled(myAirInlet, mySpace, a, top) = TRUE
OR isInstalled(myAirOutlet, mySpace, a, top) = TRUE)
(isInstalled(myAirInlet, mySpace, a, bottom) = TRUE
OR isInstalled(myAirOutlet, mySpace, a, bottom) = TRUE)
}
|
Python Code 변환 예정
|