// 옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호
Check(NFSC102_6_8_1){
KS
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.isForTest) = TRUE
}
Valve myValve{
isObjectProperty(Valve.isShutoffValve) = TRUE
isInstalled(Valve, Pump.Outlet) = TRUE
}
Valve myValve2{
isObjectProperty(Valve.isShutoffValve) = TRUE
isInstalled(Valve, Pump.Outlet) = FALSE
}
Valve myValve3{
isObjectProperty(Valve.isFloatControlValve) = TRUE
}
isDiverged(Pump, myPipe) = TRUE
getObjectDistance(StraightPipeLine, myPipe) < getObjectDistance(StraightPipeLine, myValve)
isInstalled(myValve2, myPipe) = TRUE
isInstalled(myValve3, myPipe) = TRUE
}
|
Python Code 변환 예정
|