From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Mon, 11 Apr 2016 11:56:00 +0000 (+0100)
Subject: xy exists helper
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=2f8545512e84b52ea09e45c3ededfb212bd41d08;p=mc1516pa.git

xy exists helper
---

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 9d8b2fa..be9d36d 100644
--- 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: