~/jendhub

def solve_stuck.k

minebender-game@1.0.0.0 · proof_solver.bend:2843

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver
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/LAWS.bend as L

2843def solve_stuck.k(+k: T.Knowledge, e: {S.solve(k) == None{} : Maybe<&2, T.Pos>}, +p: T.Pos, ps: L.ProvablySafe(k, p)) -> Empty:
2844  match k:
2845    case T.Knowledge{w, h, n, rows}:
2846      solve_stuck.go(w, h, n, rows, B.shaped(T.Seen, w, h, rows), {==}, e, p, ps)

Uses (9)

Used by (1)