//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 13조 (헬리포트 및 구조공간 설치 기준) 3항 2호
Check(REFB_13_3_2){
KS
}
KS{
Stair myStair {
isObjectProperty(Stair.isEscape)=True
}
Stair myStair2 {
isObjectProperty(Stair.isSpecialEscape)=True
}
Space mySpace{
isObjectProperty(Space.isEscape) = TRUE
}
isConnected(mySpace, myStair )=True
OR isConnected(mySpace, myStair2 )=True
}
|
Python Code 변환 예정
|