0.001)
(:method (debark ?p ?a ?c)
((write-time ?a ?start)) ((!debark ?p ?a ?c ?start 1)
(:immediate !!cost (call + ?start 1)))) (:operator (!debark ?p ?a ?c ?start ?duration)
((person ?p) (aircraft ?a) (city ?c)
(at ?a ?c) (in ?p ?a) (onboard ?a ?num) (read-time ?a ?pmax) (assign ?new-num (- ?num 1)) (assign ?newpmax (max ?pmax (+ ?start ?duration 0.01L0)))) ((onboard ?a ?num) (read-time ?a ?pmax) (in ?p ?a) (dest ?a ?c)) ((onboard ?a ?new-num) (read-time ?a ?newpmax) (at ?p ?c))
0.001)
(:method (refuel ?a ?c)
((write-time ?a ?start) (read-time ?a ?pmax)
(capacity ?a ?cap) (fuel ?a ?fuel)
(eval (> ?cap ?fuel)) (assign ?duration 1)
(assign ?end (+ ?start ?duration 0.01L0)) (assign ?newpmax (max ?pmax ?end)))
((!!ra ((read-time ?a ?pmax))
((read-time ?a ?newpmax)))
(:immediate !refuel ?a ?c ?start ?duration) (:immediate !!cost ?end)))
(:operator (!refuel ?a ?c ?start ?duration)
((aircraft ?a) (city ?c) (at ?a ?c)
(fuel ?a ?fuel) (capacity ?a ?cap))
((fuel ?a ?fuel)) ((fuel ?a ?cap))
0.001) (:method (zoom ?a ?c1 ?c2)
((write-time ?a ?astart) (read-time ?a ?pmax)
(distance ?c1 ?c2 ?dist) (fuel ?a ?fuel) (fast-burn ?a ?burn) (eval (>= ?fuel (* ?dist ?burn))) (assign ?duration 1)
(assign ?start (max ?pmax ?astart)) (assign ?end (+ ?start ?duration 0.01L0)))
((!!ra ((write-time ?a ?astart) (read-time ?a ?pmax))
((read-time ?a 0) (write-time ?a ?end)))
(:immediate !zoom ?a ?c1 ?c2 ?start ?duration) (:immediate !!cost ?end)))
(:operator (!zoom ?a ?c1 ?c2 ?start ?duration)
((aircraft ?a) (city ?c1) (city ?c2) (onboard ?a ?num)
(zoom-limit ?a ?limit) (eval (<= ?num ?limit))