coord tiny update

[mc1516pa.git] / modelchecker / coord.c

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 12b428d..f6e2234 100644 (file)
--- 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;