//Read screen
time_start_read = clock();
- sokoban_screen *screen = parse_screen(inputstream, true);
+ sokoban_screen *screen = parse_screen(inputstream, false);
if (screen == NULL) {
printf("Something went wrong encoding the screen\n");
return 2;
BDD old = sylvan_false;
BDD new = init->bdd;
//Do lurd
- for(unsigned int i = 0; i<strlen(lurd); i++){
- switch(lurd[i]){
+ while(*lurd != '\0'){
+ switch(*lurd){
case 'l':
new = subsolve(rls->rell, new);
break;
new = subsolve(rls->reld, new);
break;
default:
- printf("Unknown character in lucd: '%c'\n", lurd[i]);
+ printf("Unknown character in lurd: '%c'\n", *lurd);
exit(2);
}
+ lurd++;
}
int iteration = 0;
bool found = false;