Module Pentominos.BoardSource

A Polyomino board is a grid of squares that need to be covered by Polyomino puzzle pieces. It is possible for some parts of the grid to be blocked off.

For example in the classical Pentomino puzzle, the board is an 8x8 chessboard, with a 2x2 grid at the center of the board blocked of. This leaves 8x8-2x2 = 64 - 4 = 60 squares to be filled. The 60 remaining squares need to be covered up by fitting all of the 12 pentomino shapes, which are 5 squares each.

The Board.t data structure keeps track of the current state of the board. This means that it provides a way to:

Sourcetype t
Sourcetype square =
  1. | Occupied of Polyomino.t
  2. | Vacant
  3. | Blocked

A value of type square indicates the state of a square at a given board {x;y} coordinate.

A square can be in either one of the following states:

  • Blocked: a square that is not meant to be covered. Either the square is not within the bounds of the board, or it is one of the squares on the board that are blocked from the start. (e.g. the 4 center squares in the classic board)
  • Occupied: a polyomino was placed on the board and it covers the square.
  • Vacant: no polymino has been placed that covers the square yet.

Each board has a size consisting of a width and height. All non-blocked board coordinates are contained within the range 0..width for the x coordinate and 0..height for the y coordinate.

This function returns the size of the board as a point {x=width;y=height}

Get the state of a square at a given {x;y} coordinate.

Sourceval of_string : string -> t

Initialize a Polyomino board starting state from a 'string image'. The string image represents the vacant squares by `#` characters and any other sqaures by '.'. Note that the dimensions of the board are implied. So for example the classic pentomino board is initialized like so:

    let classic_board = Board.of_string "
      ########
      ########
      ########
      ###..###
      ###..###
      ########
      ########
      ########
    "
Sourceval classic : t

Classic Pentomino board. A chess board with the 4 center squares blocked off.

Sourceval put : t -> PointSet.t -> Polyomino.t -> t

Place a polyomino on the board. It is assumed that the given PointSet is a rotated / mirrored / translated variant of the given Polyomino.

Sourceval vacant : t -> PointSet.t

Gets all vacant points on the board (i.e. any point that is not occupied and is not blocked)

Sourceval to_string : t -> string

Convert board into a two-dimensional 'string image'. Each square on the board is represented by a single character:

  • `.`: a vacant square
  • a capital letter: square occupied by polyomino with that name
  • #: a blocked square
Sourceval draw : t -> unit

Draw the board using the graphics library