// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 30조 (피난용승강기의 설치기준) 1호 가목
check(REFB_30_0_1_가){
KS
}
KS{
FloorSlab myFloorSlab{
isFireResistantStructure(FloorSlab) = TRUE
}
Wall myWall{
isFireResistantStructure(Wall) = TRUE
}
Object myElement{
getObject(Platform.Object) - getObject(Opening)
}
isPartitioned(myElement, , myFloorSlab) = TRUE
isPartitioned(myElement, , myWall) = TRUE
}
|
Python Code 변환 예정
|