//건축물의 설비기준 등에 관한 규칙 10조 (비상용승강기의 승강장 및 승강로의 구조) 2호 다목
Check(RFB_10_0_2_다){
KS
}
KS{
Elevator myElevator{
isObjectProperty(Elevator.isEmergency)=TRUE
}
Window myWindow{
isObjectProperty(Window.isExternalDirection)=TRUE
}
SmokeExhaustionSystem mySmokeExhaustionSystem{
getResult(RFB_14_2) = TRUE
}
hasObject(myElevator.Platform,OpenFloorStructure) = TRUE
hasObject(myElevator.Platform, myWindow) = TRUE
isExist(mySmokeExhaustionSystem)=TRUE
}
|
Python Code 변환 예정
|