// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 8호
Check(NFSC503A_5_2_8){
IF (!CS1 AND CS2) THEN KS
}
CS1{
isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE
}
CS2{
getObjectVerticalLocation(Pump, WaterSource,) < 0
}
KS{
isInstalled(PressurizedWaterSupplySystem, WaterLiftingDevice) = TRUE
getResult(NFSC503A_5_2_가) = TRUE
getResult(NFSC503A_5_2_나) = TRUE
}
|
Python Code 변환 예정
|