From 2f8545512e84b52ea09e45c3ededfb212bd41d08 Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Mon, 11 Apr 2016 12:56:00 +0100 Subject: [PATCH] xy exists helper --- modelchecker/coord.c | 7 +++++++ 1 file changed, 7 insertions(+) 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: -- 2.20.1