// // 스프링클러설비의 화재안전기준(NFSC 103) 4조 (비상벨설비 또는 자동식사이렌설비) 5항 2호
Check(NFSC201_4_5_1){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
CS1{
getObjectDistance(Corridor | Space, Transmitter) < 40m
}
KS1{
isInstalled(Transmitter, SpecificFireFightingBuilding.Floor.One) = TRUE
getOjectCount(Transmitter) = 1
getElementDistance(SpecificFireFightingBuilding.Wall | SpecificFireFightingBuilding.Column, Transmitter) <= 25m
}
CS2{
getObjectDistance(Corridor | Space, Transmitter) >= 40m
}
KS2{
isInstalled(Transmitter, SpecificFireFightingBuilding.Floor.One) = TRUE
getOjectCount(Transmitter) >= 2
getElementDistance(SpecificFireFightingBuilding.Wall | SpecificFireFightingBuilding.Column, Transmitter) <= 25m
}
|
Python Code 변환 예정
|