Guard functions

ghintervall

(#Phup==1)||(#Phfp==1)

ghpolicy

(#Pvmigd==1)||(#Pvfpmigd==1)||(#Pvfail==1)||(#Pvdet==1)||(#Pvrej==1)||(#Pvsus==1)||(#Pvfpsus==1)

ghreset

#Phrej==1

gvintervall

(#Pvmigd==1)||(#Pvfpmigd==1)||(#Pvfail==1)||(#Pvdet==1)||(#Pvrej==1)||(#Pvsus==1)||(#Pvfpsus==1)

gvpolicy

(#Pvup==1)||(#Pvfp==1)||(#Pload==0)

gvreset

#Pvrej==1

ghtrig

#Phtrigger==1

gvtrig

(#Pvtrigger==1)||(Pload==0)

gvhup

(#Phup==1)||(#Phfp==1)

gvhrej

(#Phpolicy==1) && (#Pload==1)

ghrej

#Phclock==1

gvrej

#Pvclock==1 && ((#Phup==1)||(#Phfp==1))

gvhdw

(#Phfail==1)((#Phpolicy==1) && (#Pload==0)

gservice

(#Pvup==1)||(#Pvfp=1)