Don't emit/use empty <symbols> (#33)

* Don't output tile `<symbol>`s with no children, and don't `<use>` them * Such symbols are still useful for spacing. * For example, in `examples/grid-graph`, `ips_*_path.svg` reduced by 50% while `ips_example_*.svg` reduced by 78-82%.
edemaine · Sep 26, 2022 · 7e7ca9e · 7e7ca9e
1 parent 81472e5
commit 7e7ca9e
Show file tree

Hide file tree

Showing 19 changed files with 35 additions and 13,279 deletions.
diff --git a/examples/auto/grid.svg b/examples/auto/grid.svg
diff --git a/examples/chess/board-immortal.svg b/examples/chess/board-immortal.svg
diff --git a/examples/chess/board-init.svg b/examples/chess/board-init.svg
diff --git a/examples/chess/board-kasparov-immortal.svg b/examples/chess/board-kasparov-immortal.svg