//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 3호 나목
Check(RFB_10_0_3_나){
KS
}
KS{
Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
ElevatorShaft myElevatorShaft1{
hasObject(Floor,ElevatorShaft)=TRUE
}
ElevatorShaft myElevatorShaft2{
hasObject(myFloor,ElevatorShaft)=TRUE
}
isConnectedTo(myElevatorShaf1t, myElevatorShaft2, SingleStructure)=TRUE
}
|
Python Code 변환 예정
|