From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Sun, 10 Apr 2016 08:38:33 +0000 (+0100)
Subject: coord tiny update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=c8455397d13fa68cd94263f6d5e00797bed58d27;p=mc1516pa.git

coord tiny update
---

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;