//건축법 시행령 90조 (비상용 승강기의 설치) 1항 1호 Check(EDBA_90_1_1){ IF CS THEN KS } CS{ Floor myFloor{ getObjectHeight(myFloor) > 31 m } getFloorArea(myFloor) <= 1500 m2 } KS{ isExist(Elevator.isEmergency) = TRUE }
Python Code 변환 예정