X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fcoord.c;h=f6e22340bb2e0ebde55d3b223d25c73b0d1798e5;hb=c8455397d13fa68cd94263f6d5e00797bed58d27;hp=12b428d8d62b0fd92781ed8d2683d35938ab1350;hpb=b18ff9447389e6879994f90d458b5a0e993755f3;p=mc1516pa.git

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 12b428d..f6e2234 100644
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -17,6 +17,13 @@
 #include "coord.h"
 #include "sokoban.h"
 
+/*
+ * Global TODOs for now:
+ * - update the helper maps so it is a single bimap
+ * - make a data structure for relations
+ * - encode relations as a set of four relations for each move
+ */
+
 typedef struct {
 	int x;
 	int y;