modelchecker/sokoban.c

   1 #include <stdio.h>
   2 #include <stdlib.h>
   3 #include "sokoban.h"
   4
   5 sokoban_screen *add_coord(int x, int y, sokoban_tile tile, sokoban_screen *screen)
   6 {
   7         sokoban_screen *r = NULL;
   8
   9         r = (sokoban_screen *)malloc(sizeof(sokoban_screen));
  10         memset(r, 0, sizeof(sokoban_screen));
  11         r->coord.x = x;
  12         r->coord.y = y;
  13         r->tile = tile;
  14         HASH_ADD(hh, screen, coord, sizeof(record_key), r);
  15         return screen;
  16 }
  17
  18 sokoban_screen *get_coord(int x, int y, sokoban_screen *screen)
  19 {
  20         sokoban_screen k, *r = NULL;
  21         memset(&k, 0, sizeof(sokoban_screen));
  22         k.coord.x = x;
  23         k.coord.y = y;
  24         HASH_FIND(hh, screen, &k.coord, sizeof(record_key), r);
  25         return r;
  26 }
  27
  28 sokoban_screen *delete_coord(int x, int y, sokoban_screen *screen)
  29 {
  30         sokoban_screen *r = NULL;
  31         r = get_coord(x, y, screen);
  32         if (r) HASH_DEL(screen, r);
  33         return screen;
  34 }
  35
  36 void sokoban_print(sokoban_screen *screen)
  37 {
  38         sokoban_screen *r;
  39         for(r=screen; r != NULL; r = (sokoban_screen *)(r->hh.next)){
  40                 switch(r->tile){
  41                 case FREE: printf("x = %d y = %d FREE\n", r->coord.x, r->coord.y); break;
  42                 case WALL: printf("x = %d y = %d WALL\n", r->coord.x, r->coord.y); break;
  43                 case BOX: printf("x = %d y = %d BOX\n", r->coord.x, r->coord.y); break;
  44                 case TARGET: printf("x = %d y = %d TARGET\n", r->coord.x, r->coord.y); break;
  45                 case AGENT: printf("x = %d y = %d AGENT\n", r->coord.x, r->coord.y); break;
  46                 case TARGAGENT: printf("x = %d y = %d TARGAGENT\n", r->coord.x, r->coord.y); break;
  47                 case TARGBOX: printf("x = %d y = %d TARGBOX\n", r->coord.x, r->coord.y); break;
  48                 }
  49         }
  50 }
  51
  52 sokoban_screen *sokoban_shrink(int x, int y, sokoban_screen *screen, sokoban_screen *newscreen)
  53 {
  54         sokoban_screen *c, *nc = NULL;
  55         c = get_coord(x, y, screen);
  56         if (c) {
  57                 nc = get_coord(c->coord.x, c->coord.y, newscreen);
  58                 if (c->tile != WALL && nc == NULL) {
  59                         newscreen = add_coord(x, y, c->tile, newscreen);
  60                         newscreen = sokoban_shrink(x-1, y, screen, newscreen);
  61                         newscreen = sokoban_shrink(x+1, y, screen, newscreen);
  62                         newscreen = sokoban_shrink(x, y-1, screen, newscreen);
  63                         newscreen = sokoban_shrink(x, y+1, screen, newscreen);
  64                 }
  65         }
  66         return newscreen;
  67 }
  68
  69 void sokoban_free(sokoban_screen *screen)
  70 {
  71         sokoban_screen *r, *tmp = NULL;
  72         HASH_ITER(hh, screen, r, tmp) {
  73                 HASH_DEL(screen, r);
  74                 free(r);
  75         }
  76 }
  77
  78 sokoban_screen *parse_screen(FILE *stream)
  79 {
  80         int buffer, x, y, agent_x, agent_y;
  81         x = 0;
  82         y = 0;
  83         agent_x = 0;
  84         agent_y = 0;
  85         sokoban_screen *screen = NULL;
  86         while((buffer = fgetc(stream)) != EOF){
  87                 if (buffer == '\n'){
  88                         x = 0;
  89                         y++;
  90                 }
  91                 else {
  92                         switch(buffer) {
  93                         case ' ': screen = add_coord(x, y, FREE, screen); break;
  94                         case '@':
  95                                 screen = add_coord(x, y, AGENT, screen);
  96                                 agent_x = x;
  97                                 agent_y = y;
  98                                 break;
  99                         case '.': screen = add_coord(x, y, TARGET, screen); break;
 100                         case '#': screen = add_coord(x, y, WALL, screen); break;
 101                         case '$': screen = add_coord(x, y, BOX, screen); break;
 102                         case '*': screen = add_coord(x, y, TARGBOX, screen); break;
 103                         case '+': screen = add_coord(x, y, TARGAGENT, screen); break;
 104                         default: return NULL;
 105                         }
 106                         x++;
 107                 }
 108         }
 109         sokoban_screen *newscreen = NULL;
 110         newscreen = sokoban_shrink(agent_x, agent_y, screen, newscreen);
 111         //sokoban_print(screen); //unshrinked screen
 112         sokoban_free(screen);
 113         return newscreen;
 114 }