124 void bdd_fprintall(FILE *ofile)  in bdd_fprintall()  argument
132 	 fprintf(ofile, "[%5d - %2u] ", n, bddnodes[n].refcou);  in bdd_fprintall()
134 	    filehandler(ofile, bddlevel2var[LEVEL(n)]);  in bdd_fprintall()
136 	    fprintf(ofile, "%3d", bddlevel2var[LEVEL(n)]);  in bdd_fprintall()
138 	 fprintf(ofile, ": %3d", LOW(n));  in bdd_fprintall()
139 	 fprintf(ofile, " %3d", HIGH(n));  in bdd_fprintall()
140 	 fprintf(ofile, "\n");  in bdd_fprintall()
168 void bdd_fprinttable(FILE *ofile, BDD r)  in bdd_fprinttable()  argument
173    fprintf(ofile, "ROOT: %d\n", r);  in bdd_fprinttable()
187 	 fprintf(ofile, "[%5d] ", n);  in bdd_fprinttable()
189 	    filehandler(ofile, bddlevel2var[LEVELp(node)]);  in bdd_fprinttable()
191 	    fprintf(ofile, "%3d", bddlevel2var[LEVELp(node)]);  in bdd_fprinttable()
193 	 fprintf(ofile, ": %3d", LOWp(node));  in bdd_fprinttable()
194 	 fprintf(ofile, " %3d", HIGHp(node));  in bdd_fprinttable()
195 	 fprintf(ofile, "\n");  in bdd_fprinttable()
231 void bdd_fprintset(FILE *ofile, BDD r)  in bdd_fprintset()  argument
237       fprintf(ofile, "%s", r == 0 ? "F" : "T");  in bdd_fprintset()
248    bdd_printset_rec(ofile, r, set);  in bdd_fprintset()
253 static void bdd_printset_rec(FILE *ofile, int r, int *set)  in bdd_printset_rec()  argument
263       fprintf(ofile, "<");  in bdd_printset_rec()
271 	       fprintf(ofile, ", ");  in bdd_printset_rec()
274 	       filehandler(ofile, bddlevel2var[n]);  in bdd_printset_rec()
276 	       fprintf(ofile, "%d", bddlevel2var[n]);  in bdd_printset_rec()
277 	    fprintf(ofile, ":%d", (set[n]==2 ? 1 : 0));  in bdd_printset_rec()
281       fprintf(ofile, ">");  in bdd_printset_rec()
286       bdd_printset_rec(ofile, LOW(r), set);  in bdd_printset_rec()
289       bdd_printset_rec(ofile, HIGH(r), set);  in bdd_printset_rec()
319    FILE *ofile = fopen(fname, "w");  in bdd_fnprintdot()  local
320    if (ofile == NULL)  in bdd_fnprintdot()
322    bdd_fprintdot(ofile, r);  in bdd_fnprintdot()
323    fclose(ofile);  in bdd_fnprintdot()
328 void bdd_fprintdot(FILE* ofile, BDD r)  in bdd_fprintdot()  argument
330    fprintf(ofile, "digraph G {\n");  in bdd_fprintdot()
331    fprintf(ofile, "0 [shape=box, label=\"0\", style=filled, shape=box, height=0.3, width=0.3];\n");  in bdd_fprintdot()
332    fprintf(ofile, "1 [shape=box, label=\"1\", style=filled, shape=box, height=0.3, width=0.3];\n");  in bdd_fprintdot()
334    bdd_fprintdot_rec(ofile, r);  in bdd_fprintdot()
336    fprintf(ofile, "}\n");  in bdd_fprintdot()
342 static void bdd_fprintdot_rec(FILE* ofile, BDD r)  in bdd_fprintdot_rec()  argument
347    fprintf(ofile, "%d [label=\"", r);  in bdd_fprintdot_rec()
349       filehandler(ofile, bddlevel2var[LEVEL(r)]);  in bdd_fprintdot_rec()
351       fprintf(ofile, "%d", bddlevel2var[LEVEL(r)]);  in bdd_fprintdot_rec()
352    fprintf(ofile, "\"];\n");  in bdd_fprintdot_rec()
354    fprintf(ofile, "%d -> %d [style=dotted];\n", r, LOW(r));  in bdd_fprintdot_rec()
355    fprintf(ofile, "%d -> %d [style=filled];\n", r, HIGH(r));  in bdd_fprintdot_rec()
359    bdd_fprintdot_rec(ofile, LOW(r));  in bdd_fprintdot_rec()
360    bdd_fprintdot_rec(ofile, HIGH(r));  in bdd_fprintdot_rec()
382    FILE *ofile;  in bdd_fnsave()  local
385    if ((ofile=fopen(fname,"w")) == NULL)  in bdd_fnsave()
388    ok = bdd_save(ofile, r);  in bdd_fnsave()
389    fclose(ofile);  in bdd_fnsave()
394 int bdd_save(FILE *ofile, BDD r)  in bdd_save()  argument
400       fprintf(ofile, "0 0 %d\n", r);  in bdd_save()
406    fprintf(ofile, "%d %d\n", n, bddvarnum);  in bdd_save()
409       fprintf(ofile, "%d ", bddvar2level[n]);  in bdd_save()
410    fprintf(ofile, "\n");  in bdd_save()
412    err = bdd_save_rec(ofile, r);  in bdd_save()
419 static int bdd_save_rec(FILE *ofile, int root)  in bdd_save_rec()  argument
431    if ((err=bdd_save_rec(ofile, LOWp(node))) < 0)  in bdd_save_rec()
433    if ((err=bdd_save_rec(ofile, HIGHp(node))) < 0)  in bdd_save_rec()
436    fprintf(ofile, "%d %d %d %d\n",  in bdd_save_rec()