//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 14조 (방화구획의 설치) 1항1호
check(REFB_14_1_1){KS
}
KS{
Floor myFloor{
Floor.number>=10
}
IF (
isExist(SprinklerSystem)=TRUE
isObjectProperty(ExtinguishingSystem.isAutomatic) = TRUE
)
(
isFirePartition(myFloor, 3000)=TRUE
OR isFirePartition(myFloor, a, 1000)=TRUE
)
}
|
Python Code 변환 예정
|