Structs§
- The “default” pattern DB, as given in [
PATTERN_IDX
]. (And described in the paper referenced bymod.rs
) - Invariant: stack.len( ) == path.len( ) + 1
- We pack cells as 5 bits each, requiring a total of 125 bits.
- Invariant: grid[ gap_cell ] contains tile 0
- A cell inside a 24-puzzle. The cell represents the fixed location within the grid, which stores a tile.
- A tile, contained in a cell within a 24-puzzle.
Enums§
Constants§
- Ten 24-puzzles taken from the paper: “Finding Optimal Solutions to the Twenty-Four Puzzle” by Richard E. Korf and Larry A. Taylor
Traits§
- A
Puzzle24
represents a 5x5 grid of cells containing tiles [0..24]. Tile 0 represents the gap.