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