def plan

minebender-game@1.0.0.0 · solver.bend:468

import Base

468def plan(+w: Nat, +h: Nat, +ts: List<&2, Todo>) -> Plan:
469  +near = nears(ts)
470  +far = fars(ts)
471  +fuel = Nat.add(List.length(&2, Todo, near), 1n)
472  +relg = rel_grid(w, h, near)
473  Plan{near, far, List.length(&2, Todo, far), groups(w, h, near, fuel, relg), order(ts), fuel, relg}