- ERRPRINT("Iteration %d\n", iteration++);
- trans_t *t = rls->rell;
-
- while (t != NULL){
- new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
- t = t->next_rel;
- }
- t = rls->relu;
- while (t != NULL){
- new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
- t = t->next_rel;
- }
- t = rls->relr;
- while (t != NULL){
- new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
- t = t->next_rel;
- }
- t = rls->reld;
- while (t != NULL){
- new = sylvan_or(new, sylvan_relnext(new, t->bdd, t->varset.varset));
- t = t->next_rel;
- }
- }
- ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
-// sylvan_enum(old, init->vars.varset, (enum_cb)callback, NULL);
-// sylvan_printdot_nc(old);
- time_end_encode = clock();