Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
ae11259
Remove partition index counter from binary space partitioning routine
jbdyn Nov 10, 2025
364dec2
Define `add_wall_and_split` as pure function
jbdyn Nov 13, 2025
417b374
Restore NumPy compatibility for mazes with odd height
jbdyn Nov 19, 2025
321492e
Redefine a partition to include its surrounding walls
jbdyn Nov 19, 2025
04a3c34
Introduce temporary API wrapper for sampling walls
jbdyn Nov 20, 2025
4e4061b
Use sets to filter out gaps from inner walls
jbdyn Nov 20, 2025
965f1a1
Rework definitions for maze variables
jbdyn Nov 21, 2025
0ac6d44
Take maze partition measurements in the `u`-`v`-space
jbdyn Nov 21, 2025
b4c0b1f
Update comments for the binary space partitioning algorithm
jbdyn Nov 21, 2025
2bda7db
Update comments for the generation of the left half of the maze
jbdyn Nov 21, 2025
ca4d890
Substract the bot positions from sampled walls
jbdyn Nov 21, 2025
1306856
Rename maze space transformations
jbdyn Nov 25, 2025
1415956
Extend partition documentation
jbdyn Nov 28, 2025
8667085
Add test for finding chambers in a half maze
jbdyn Nov 26, 2025
adb8add
Make `walls_to_graph` handle open mazes
jbdyn Nov 28, 2025
a022651
Restrict chamber finding on the left maze half
jbdyn Nov 28, 2025
f7e412c
Add comments for module constants
jbdyn Nov 28, 2025
167eac2
Rename border-related variables
jbdyn Nov 28, 2025
8fddd37
Rename `add_wall_and_split` to `add_inner_walls` and slightly change …
jbdyn Nov 28, 2025
0942dd0
Link the return value signature of `find_trapped_tiles` to keyword ar…
jbdyn Nov 28, 2025
b957cac
Redefine `mirror` to not unite original and mirrored sets
jbdyn Nov 28, 2025
d696912
Remove superfluous set creation for set-like graph node view
jbdyn Nov 30, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading