law covers_set

minebender-game@1.0.0.0 · proof_solver.bend:783

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

783law covers_set:
784  for +w: Nat
785  for +h: Nat
786  for +c: T.Pos
787  for +rel: List<&2, S.Item>
788  for +rest: List<&2, S.Todo>
789  for +part: T.Grid(Maybe<&2, Bool>)
790  for +bv: Bool
791  for +shP: {B.shaped(Maybe<&2, Bool>, w, h, part) == True{} : Bool}
792  for +ps: List<&2, T.Pos>
793  for +ons: {PS.allp(~PS.WH, ~PS.onb, PS.WH{w, h}, ps) == True{} : Bool}
794  for +cv: {PS.allp(~CV, ~cv_f, CV{S.Todo{c, rel} <> rest, part}, ps) == True{} : Bool}
795  {PS.allp(~CV, ~cv_f, CV{rest, B.set_at(Maybe<&2, Bool>, part, c, Some{bv})}, ps) == True{} : Bool}