xy exists helper

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 9d8b2fa..be9d36d 100644 (file)
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -157,6 +157,13 @@ bimap *create_bimap_helper(sokoban_screen *screen)
        return bm;
 }
 
+int check_xy_exists(int x, int y, bimap *bm)
+{
+       int res = 0;
+       if (getxy(x, y, bm->f) != NULL) res = 1;
+       return res;
+}
+
 /*
  * Each coordinate has three related boolean variables. The combination of those boolean variables
  * defines tiles: