From 73c83bf35d9748c5505f6fa28d2190b050b5228f Mon Sep 17 00:00:00 2001 From: eugenefischer <66030419+eugenefischer@users.noreply.github.com> Date: Wed, 21 Sep 2022 21:46:00 -0500 Subject: [PATCH] Add comment on map data encodng --- src/main/java/GraphWithMapData.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/GraphWithMapData.java b/src/main/java/GraphWithMapData.java index 0e4c09b..8f9ab03 100644 --- a/src/main/java/GraphWithMapData.java +++ b/src/main/java/GraphWithMapData.java @@ -6,6 +6,7 @@ import java.util.Map; //Can't just write the graph, because I need the occupancy data too. //Makes most sense to serialize object and write that to a file. //Which means there's no reason to split map data and graph data up. +//Custom vertex class means a lot of the map data can now be encoded in the graph itself public class GraphWithMapData implements java.io.Serializable { private String sourceFilename;