//건축법 시행령 40조 (옥상광장 등의 설치) 3항 Check(EDBA_40_3){ IF (CS) THEN KS } CS{ Floor myFloor{ Floor.number > 11 } getBuildingStoriesCount() > 11 getTotalFloorArea(myFloor) > 10000m2 } KS{ getResult(EDBA_40_3_1) = True getResult(EDBA_40_3_2) = True }
Python Code 변환 예정