rels *rls = encode_rel(screen);
time_end_rel = clock();
-
//Actually solve
time_start_solve = clock();
- BDD old = sylvan_false;
+ //BDD old = sylvan_false;
BDD new = init->bdd;
//Do lurd
while(*lurd != '\0'){
}
lurd++;
}
- int iteration = 0;
+ //int iteration = 0;
+
bool found = false;
+ /*
while(new != old){
DPRINT("Iteration %d\n", iteration++);
old = new;
new = subsolve(rls->relr, new);
new = subsolve(rls->reld, new);
}
+ */
+ state_t *res = NULL;
+ state *cont = (state *)malloc(sizeof(cont));
+ cont->bdd = new;
+ cont->vars = init->vars;
+ res = explstate(cont, rls, goal);
+ if (res != NULL){
+ if (res->lrd == NULL) printf("wrong\n");
+ lurd_t *l = res->lrd;
+ while (l != NULL){
+ printf("%c", l->c);
+ l = l->next;
+ }
+ printf("\n");
+ } else found = 0;
+
+
time_end_solve = clock();
//Free and print stats