// 건축법 시행령 53조 (경계벽 등의 설치) 1항 1호
check(EDBA_53_1_1){
KS
}
KS{
Zone myZone1{
Zone.Building.usage = “DetachedHouse.MultiFamilyHouse ”
}
Zone myZone2{
Zone.Building.usage = “MultiUnitHouse”
}
Balcony myBalcony{
Balcony.usage != “BedRoom”
Balcony.usage != “LivingRoom”
}
Wall myWall1{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(myZone1.Household, Wall) =TRUE
hasObject(myBalcony,Wall) =FALSE
}
Wall myWall1{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(myZone2.Household, Wall) =TRUE
hasObject(myBalcony,Wall) =FALSE
}
isExist(myWall1)=TRUE
isExist(myWall2)=TRUE
}
|
Python Code 변환 예정
|