// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 2호
Check(NFSC503A_8_3_2){
KS2 AND IF CS THEN KS1
}
KS2{
Valve myValve{
isObjectProperty(Valve.isShutoffValve)=TRUE
}
isObjectProperty(myValve.isIndicatingValve) = TRUE
}
CS{
Pipe myPipe{
isInstalled(Pipe, Pump.Inlet) = TRUE
}
isInstalled(myValve, myPipe) = TRUE
}
KS1{
isObjectProperty(myValve.isIndicatingValve) = TRUE
isObjectProperty(myValve.isButterflyValve) = TRUE
}
|
Python Code 변환 예정
|
(2024-12-23 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
