#include <time.h>
#include <sylvan.h>
+
#include "mc.h"
#include "sokoban.h"
-//#include <sokoban.h>
-//#include <object.h>
-//#include <coord.h>
-
//Global variables
bool DEBUG = false;
strategy strat = HYBRID;
void usage(char *prg){
- fprintf(stderr,
+ fprintf(stderr,
"Usage:\n"
"\t%s [opts] [FILE [FILE [...]]]\n"
"\n"
clock_t time_start_encode, time_end_encode;
time_start_read = clock();
- //struct sokoban_screen *screen = parse_screen(inputstream);
- parse_screen(inputstream);
+ struct sokoban_screen *screen = parse_screen(inputstream);
+ while(screen != NULL){
+ switch(screen->tile){
+ case FREE: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "FREE");break;
+ case WALL: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "WALL");break;
+ case BOX: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "BOX");break;
+ case TARGET: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "TARGET");break;
+ case AGENT: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "AGENT");break;
+ case TARGAGENT: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "TARGAGENT");break;
+ case TARGBOX: printf("x = %d y = %d tile = %s\n", screen->x, screen->y, "TARGBOX");break;
+ }
+ screen = screen->next;
+ }
+ //parse_screen(inputstream);
time_end_read = clock();
time_start_encode = clock();
switch(strat){
case COORD:
+ if(DEBUG) fprintf(stderr, "Encoding coordinate based\n");
+ break;
case OBJECT:
+ if(DEBUG) fprintf(stderr, "Encoding object based\n");
+ break;
case HYBRID:
+ if(DEBUG) fprintf(stderr, "Encoding hybrid based\n");
+ break;
default:
fprintf(stderr, "Huh?");
exit(2);
}
time_end_encode = clock();
-
// Future: SMC
fprintf(stderr, "Reading: %fs\n",
((double) (time_end_read-time_start_read))/CLOCKS_PER_SEC);
for(int filepathindex = optind; filepathindex < argc; filepathindex++){
char *currentfilepath = argv[filepathindex];
fprintf(stderr, "Processing: %s\n", currentfilepath);
- if(DEBUG) fprintf(stderr, "Strategy: %d\n", strat);
FILE *currentfile = fopen(currentfilepath, "r");
if(DEBUG) fprintf(stderr, "Opening file\n");
solve(currentfile);