// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호
Check(NFSC103A_8_4_2){
IF CS THEN KS
}
CS{
getObjectVerticalLocation(Pump, Tank) < 0
}
KS{
Pipe myPipe{
isInstalled(Pump.Inlet, Pipe) = TRUE
}
isInstalled(myPipe, Pump.One) = TRUE
}
|
Python Code 변환 예정
|