minebender-game

Releases (1)

• 1.0.0.0 indexed

Definitions (1,011)

proof_solver.bend

• def item_open_sound
• law items_open_sound
• law open_ok_soundA partial layout that a consistent layout completes is never pruned.
• law fill_rows_get
• law fill_row_get
• law fill_atA filled-in cell holds what the partial layout fixed (False if nothing).
• law fill_row_len
• law fill_len
• law fill_wide
• law fill_shaped
• type AG
• def ag_f.go
• def ag_f
• def agree
• law agree_cell
• law count_agree
• law total_cells
• law total_agree
• def item_ok_agree
• law items_ok_agree
• law check_agree
• def tcontains
• type CV
• def cv_f.go
• def cv_f
• def coversEvery unassigned cell of the board is still to do.
• def todos_ok
• def todos_onb
• def covers_skip.cell
• law covers_skip
• def set_look
• def covers_set.cell
• law covers_set
• def comp_set.cell
• law comp_set
• def leaf_cell.go
• law leaf_agree
• def disc_some
• def some_ne_none
• def dfs_when_none
• def dfs_or_none_l
• def dfs_or_none_r
• def dfs_none.pick
• def dfs_none.node
• law chk_total
• law dfs_noneIf the search finds nothing, no consistent layout completes the partial layout (given that every unassigned cell is still to do).
• def dfs_when_some
• def dfs_or_some
• def BranchSome
• def dfs_branch_some.k
• def dfs_branch_some
• def leaf_some
• def leaf_check.k
• law dfs_some_checkA layout the search returns passes the consistency check.
• def dfs_some_check.br
• def dfs_some_check.node
• def set_keep
• def leaf_keep
• def dfs_some_keep.br
• def dfs_some_keep.node
• law dfs_some_keepA layout the search returns keeps every cell the partial layout fixed.
• law dfs2_some_checkA layout the counting search returns passes the consistency check.
• def dfs2_some_check.node
• law dfs2_some_keepA layout the counting search returns keeps every cell the partial layout fixed.
• def dfs2_some_keep.node
• def items_agrees.cell
• law items_agrees
• law check_consThe solver's check is LAWS.bend's consistent.
• law start_rows_get
• law start_row_get
• law start_atEach cell starts as the revealed cells fix it.
• law start_row_len
• law start_len
• law start_wide
• law start_shaped
• def start_comp.cell
• law start_comp.go
• law start_compA consistent layout completes the starting partial layout.
• law adj_onb
• def items_onb.cell
• law items_onb_all
• def around_ok.cell
• law around_ok
• def around_onb.cell
• law around_onb
• law todos_ok_all
• law todos_onb_all
• def tok_put
• def ton_put
• law tok_append
• law ton_append
• def tok_head
• def tok_tail
• def ton_head
• def ton_tail
• law tok_order
• law tok_order_f
• law ton_order
• law ton_order_f
• law tcontains_todos