alias sensor d0
alias pumpn d1
alias pumpo d2
alias filter d3

alias pres r9
alias op r8
alias np r7
alias cp r6
alias targetpressure r5

start:


l pres sensor Pressure
l op sensor RatioOxygen
l np sensor RatioNitrogen
l cp sensor RatioCarbonDioxide
move targetpressure 100

jal manageo2
jal managen2
jal manageco2

yield
j start

#

manageo2:
bdns pumpo ra
mul r0 op pres
mul r1 0.18 targetpressure
slt r2 r0 r1
s pumpo On r2
j ra

#

managen2:
bdns pumpn ra
mul r0 np pres
mul r1 0.8 targetpressure
slt r2 r0 r1
slt r3 pres targetpressure
min r2 r2 r3
s pumpn On r2
j ra

#

manageco2:
bdns filter ra
add r0 pres 1
slt r2 targetpressure r0
# pressure is high enough
slt r3 0.02 cp
# co2 is high
min r1 r2 r3
s filter On r1
j ra