law chord

minebender-game@1.0.0.0 · LAWS.bend:417

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/game.bend as G

417# LAW: "Double-clicking a number reveals its hidden unflagged neighbours,
418# one by one, row by row" (when exactly that many neighbours are flagged).
419law chord:
420  for g: G.Game
421  for p: T.Pos
422  {G.step(g, T.Chord{p}) == play(reveals(chord_targets(g, p)), g) : G.Game}