From c8455397d13fa68cd94263f6d5e00797bed58d27 Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Sun, 10 Apr 2016 09:38:33 +0100 Subject: [PATCH] coord tiny update --- modelchecker/coord.c | 7 +++++++ 1 file changed, 7 insertions(+) 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; -- 2.20.1