// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 2항 1호
Check(NFSC503A_4_2_1){
KS
}
KS{
Valve myValve1{
isObjectProperty(Valve.isFootValve) = TRUE
isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"
}
Port myPort1{
getObjectProperty(Port.typeForWater) = "Obsorption"
isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"
}
Valve myValve2{
isObjectProperty(Valve.isFootValve) = TRUE
isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"
}
Port myPort2{
getObjectProperty(Port.typeForWater) = "Obsorption"
isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"
}
getObjectVerticalLocation(myValve1|myValve1, myValve2|myPort2) < 0
}
|
Python Code 변환 예정
|