repositories
/
mc1516pa.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
d1d4ef8
)
small clean-up
author
Alexander Fedotov
<soyaxhoya@gmail.com>
Thu, 7 Apr 2016 11:12:43 +0000
(12:12 +0100)
committer
Alexander Fedotov
<soyaxhoya@gmail.com>
Thu, 7 Apr 2016 11:12:43 +0000
(12:12 +0100)
modelchecker/coord.c
patch
|
blob
|
history
diff --git
a/modelchecker/coord.c
b/modelchecker/coord.c
index
bf165a7
..
6632345
100644
(file)
--- a/
modelchecker/coord.c
+++ b/
modelchecker/coord.c
@@
-59,7
+59,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_ithvar(tile_index));
tile_index++;
}
state = sylvan_and(state, sylvan_ithvar(tile_index));
tile_index++;
}
- printf("x = %d y = %d FREE\n", r->coord.x, r->coord.y);
break;
case WALL:
if (state == sylvan_false){
break;
case WALL:
if (state == sylvan_false){
@@
-78,7
+77,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
- printf("x = %d y = %d WALL\n", r->coord.x, r->coord.y);
break;
case BOX:
if (state == sylvan_false){
break;
case BOX:
if (state == sylvan_false){
@@
-97,7
+95,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
- printf("x = %d y = %d BOX\n", r->coord.x, r->coord.y);
break;
case TARGET:
if (state == sylvan_false){
break;
case TARGET:
if (state == sylvan_false){
@@
-116,7
+113,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_ithvar(tile_index));
tile_index++;
}
state = sylvan_and(state, sylvan_ithvar(tile_index));
tile_index++;
}
- printf("x = %d y = %d TARGET\n", r->coord.x, r->coord.y);
break;
case AGENT:
if (state == sylvan_false){
break;
case AGENT:
if (state == sylvan_false){
@@
-135,7
+131,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_ithvar(tile_index));
tile_index++;
}
state = sylvan_and(state, sylvan_ithvar(tile_index));
tile_index++;
}
- printf("x = %d y = %d AGENT\n", r->coord.x, r->coord.y);
break;
case TARGAGENT:
if (state == sylvan_false){
break;
case TARGAGENT:
if (state == sylvan_false){
@@
-154,7
+149,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
- printf("x = %d y = %d TARGAGENT\n", r->coord.x, r->coord.y);
break;
case TARGBOX:
if (state == sylvan_false){
break;
case TARGBOX:
if (state == sylvan_false){
@@
-173,7
+167,6
@@
BDD encode_screen(sokoban_screen *screen)
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
state = sylvan_and(state, sylvan_not(sylvan_ithvar(tile_index)));
tile_index++;
}
- printf("x = %d y = %d TARGBOX\n", r->coord.x, r->coord.y);
break;
}
}
break;
}
}