def solver_ton

minebender-game@1.0.0.0 · proof_solver.bend:2535

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_cells.bend as PS

2535def solver_ton(+w: Nat, +h: Nat, +rows: T.Grid(T.Seen)) ->
2536  {todos_onb(PS.WH{w, h}, S.order(S.todos(S.items(w, h, rows, B.cells(w, h)), S.hidden_cells(rows, B.cells(w, h))))) == True{} : Bool}:
2537  +its = S.items(w, h, rows, B.cells(w, h))
2538  +t0 = S.todos(its, S.hidden_cells(rows, B.cells(w, h)))
2539  +ta = todos_onb_all(PS.WH{w, h}, its, S.hidden_cells(rows, B.cells(w, h)), items_onb_all(w, h, rows, B.cells(w, h), PS.cells_on(w, h)))
2540  ton_append(PS.WH{w, h}, S.nears(t0), S.fars(t0), ton_order(PS.WH{w, h}, t0, ta), ton_order_f(PS.WH{w, h}, t0, ta))