Sensor:
sw 47 56
Toggle off on toggle null 0 1
Sensor:
fd 39 187
Toggle absent present fdtoggle null 0 1
Actuator:
ig 350 47
OnOff Off On ignite_on ignite_off null 0 1
Actuator:
av 380 151
OnOff closed open open_av close_av null 0 1
Actuator:
gv 335 272
OnOff closed open open_gv close_gv null 0 1
Safety Invariant:
sw = on
av = open
Safety Invariant:
sw = off
ig = Off
Safety Invariant:
gv = open
av = open
Safety Invariant:
av = closed
gv = closed
Safety Invariant:
ig = On
gv = open
Safety Invariant:
gv = closed
ig = Off
Safety Invariant:
fd = present
ig = Off
Safety Invariant:
sw = on & fd = absent
ig = On
Safety Invariant:
sw = off & fd = absent
av = closed
Safety Invariant:
fd = present
av = open
Safety Invariant:
sw = on
gv = open
Safety Invariant:
sw = off
gv = closed