Lines Matching defs:fname
303 int bdd_fnprintdot(char* fname, BDD r)
307 {\tt ofile} or the file named by {\tt fname}. In the last case
318 int bdd_fnprintdot(char *fname, BDD r)
320 FILE *ofile = fopen(fname, "w");
372 PROTO {* int bdd_fnsave(char *fname, BDD r)
375 which must be opened for writing or to the file named {\tt fname}.
381 int bdd_fnsave(char *fname, BDD r)
386 if ((ofile=fopen(fname,"w")) == NULL)
452 PROTO {* int bdd_fnload(char *fname, BDD *r)
456 for reading or the file named {\tt fname} which will be opened
475 int bdd_fnload(char *fname, BDD *root)
480 if ((ifile=fopen(fname,"r")) == NULL)