Lines Matching refs:FILE
32 FILE: bddio.c
44 static void bdd_printset_rec(FILE *, int, int *);
45 static void bdd_fprintdot_rec(FILE*, BDD);
46 static int bdd_save_rec(FILE*, int);
47 static int bdd_loaddata(FILE *);
79 void printhandler(FILE *o, int var)
109 void bdd_fprintall(FILE* ofile) *}
125 void bdd_fprintall(FILE *ofile)
153 void bdd_fprinttable(FILE* ofile, BDD r) *}
169 void bdd_fprinttable(FILE *ofile, BDD r)
208 bdd_fprintset(FILE* ofile, BDD r) *}
232 void bdd_fprintset(FILE *ofile, BDD r)
254 static void bdd_printset_rec(FILE *ofile, int r, int *set)
304 void bdd_fprintdot(FILE* ofile, BDD r) *}
320 FILE *ofile = fopen(fname, "w");
329 void bdd_fprintdot(FILE* ofile, BDD r)
343 static void bdd_fprintdot_rec(FILE* ofile, BDD r)
373 int bdd_save(FILE *ofile, BDD r) *}
383 FILE *ofile;
395 int bdd_save(FILE *ofile, BDD r)
420 static int bdd_save_rec(FILE *ofile, int root)
453 int bdd_load(FILE *ifile, BDD *r) *}
477 FILE *ifile;
489 int bdd_load(FILE *ifile, BDD *root)
540 static int bdd_loaddata(FILE *ifile)