Module soukoban::deadlock

Utilities for deadlocks detection.

Functions

• calculate_dead_positions
  Calculates dead square positions independent of the player’s position.
• calculate_unused_floors
  Calculates unused floors.
• is_freeze_deadlock
  Checks if the given box position is a freeze deadlock.