// 건축법 시행령 제 34조 (직통계단의 설치) 3항
check(EDBA_34_3){
IF CS THEN KS ENDIF
}
CS{
isObjectProperty(Building.isHighriseBuilding) = TRUE
}
KS{
Stair myStair{
isObjectProperty(Stair.isDirect) = TRUE
}
Zone myZone{
isObjectProperty(Zone.isEgressSafetyZone) = TRUE
}
Floor myFloor{
isObjectProperty(Floor.isEscape) = TRUE
}
isGoThrough(myFloor, myZone, myStair) = TRUE
OR isGoThrough(myFloor, Ground, myStair) = TRUE
getObjectCount(myZone) >= getBuildingStoriesCount()/30
}
|
Python Code 변환 예정
|
PAGE MENU
(2024-12-24 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
