#include <stdio.h>
+#include <stdbool.h>
+#include <ctype.h>
+#include <time.h>
#include <sylvan.h>
-//#include <sokoban.h>
-//#include <object.h>
-//#include <coord.h>
-//#include <mc.h>
-
-int main(void){
- // Mart:
- // Argument parsing
- // ./main [opts] [FILEPATH [FILEPATH ...]]
- // -o Objectbased
- // -c Coordinatebased
- // -y hYbrid
- // -h Help
- //
- // FUTURE:
- // -r Also compute the set of all reachable solution states
- // -l LURD Check if LURD is a valid path
- //
- // FILEPATH Optional input file(s)
-
- // Alex:
- // Screen reading
- // - Removing outside walls
- // - Bucket fill
- // - [tile]
- // - tile = structure {int, int, enumtile}
-
- // Both: Encoding in both schemes
-
+#include "mc.h"
+#include "sokoban.h"
+
+//Global variables
+bool DEBUG = false;
+strategy strat = HYBRID;
+
+void usage(char *prg){
+ fprintf(stderr,
+ "Usage:\n"
+ "\t%s [opts] [FILE [FILE [...]]]\n"
+ "\n"
+ "Options:\n"
+ "\tAll strategies are mutually exclusive\n"
+ "\t-c coordinate based strategy\n"
+ "\t-o object based strategy\n"
+ "\t-y hybrid strategy\n"
+// "\t-l LURD lURD verification strategy\n"
+// "\t-r show all positions that are a valid solution\n"
+ "\n"
+ "\t-d enable verbose debug output\n"
+ "\t-h show this help\n"
+ "\n"
+ "Positional arguments:\n"
+ "\tFILE zero or more sokoban screens\n"
+ "\t when no file is specified stdin will be used\n", prg);
+}
+
+void solve(FILE *inputstream){
+ clock_t time_start_read, time_end_read;
+ clock_t time_start_encode, time_end_encode;
+
+ time_start_read = clock();
+ 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);
+ fprintf(stderr, "Encoding: %fs\n",
+ ((double) (time_end_encode-time_start_encode))/CLOCKS_PER_SEC);
+}
+
+int main(int argc, char **argv){
+ int optchar;
+
+ while((optchar = getopt(argc, argv, "cdhoy")) != -1){
+ switch(optchar){
+ case 'c':
+ strat = COORD;
+ if(DEBUG) fprintf(stderr, "Strategy changed to Coordinate based\n");
+ break;
+ case 'd':
+ DEBUG = true;
+ if(DEBUG) fprintf(stderr, "Debug enabled\n");
+ break;
+ case 'h':
+ usage(argv[0]);
+ return 0;
+ case 'o':
+ strat = OBJECT;
+ if(DEBUG) fprintf(stderr, "Strategy changed to Object based\n");
+ break;
+ case 'y':
+ strat = HYBRID;
+ if(DEBUG) fprintf(stderr, "Strategy changed to Hybrid\n");
+ break;
+ case '?':
+ if(isprint(optopt)){
+ fprintf(stderr, "Unknown option `-%c'.\n", optopt);
+ } else {
+ fprintf(stderr, "Unknown option char `-\\x%x'.\n", optopt);
+ }
+ return 2;
+ default:
+ break;
+ }
+ }
+
+ if(optind == argc){
+ fprintf(stderr, "You have not specified a file, reading from stdin\n");
+ solve(stdin);
+ }
+
+ for(int filepathindex = optind; filepathindex < argc; filepathindex++){
+ char *currentfilepath = argv[filepathindex];
+ fprintf(stderr, "Processing: %s\n", currentfilepath);
+ FILE *currentfile = fopen(currentfilepath, "r");
+ if(DEBUG) fprintf(stderr, "Opening file\n");
+ solve(currentfile);
+ if(DEBUG) fprintf(stderr, "Closing file\n");
+ fclose(currentfile);
+ }
return 0;
}