자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 15호 다목
Check(NFSC203_7_3_15_다){
KS
}
KS{
Wall myWall{
isInstalled(Sensor.LightReceivingElement, Wall) = TRUE
isInstalled(Sensor.LightSendingElement , Wall) = TRUE
}
getElementDistance(Sensor, myWall) <= 1m
}
|
Python Code 변환 예정
|