| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bddio.c | 109 void bdd_fprintall(FILE* ofile) *}
110 DESCR {* Prints to either stdout or the file {\tt ofile} all the used
125 void bdd_fprintall(FILE *ofile) argument
133 fprintf(ofile, "[%5d - %2d] ", n, bddnodes[n].refcou);
135 filehandler(ofile, bddlevel2var[LEVEL(n)]);
137 fprintf(ofile, "%3d", bddlevel2var[LEVEL(n)]);
139 fprintf(ofile, ": %3d", LOW(n));
140 fprintf(ofile, " %3d", HIGH(n));
141 fprintf(ofile, "\n");
153 void bdd_fprinttable(FILE* ofile, BD
169 bdd_fprinttable(FILE *ofile, BDD r) argument
232 bdd_fprintset(FILE *ofile, BDD r) argument
254 bdd_printset_rec(FILE *ofile, int r, int *set) argument
320 FILE *ofile = fopen(fname, "w"); local
329 bdd_fprintdot(FILE* ofile, BDD r) argument
343 bdd_fprintdot_rec(FILE* ofile, BDD r) argument
383 FILE *ofile; local
395 bdd_save(FILE *ofile, BDD r) argument
420 bdd_save_rec(FILE *ofile, int root) argument
[all...] |
| H A D | imatrix.c | 91 void imatrixFPrint(imatrix *mtx, FILE *ofile) argument
95 fprintf(ofile, " ");
97 fprintf(ofile, "%c", x < 26 ? (x+'a') : (x-26)+'A');
98 fprintf(ofile, "\n");
102 fprintf(ofile, "%2d %c", y, y < 26 ? (y+'a') : (y-26)+'A');
104 fprintf(ofile, "%c", imatrixDepends(mtx,y,x) ? 'x' : ' ');
105 fprintf(ofile, "\n");
|
| H A D | fdd.c | 688 void fdd_fprintset(FILE *ofile, BDD f) *}
704 void fdd_fprintset(FILE *ofile, BDD r) argument
716 fprintf(ofile, "%s", r == 0 ? "F" : "T");
728 fdd_printset_rec(ofile, r, set);
733 static void fdd_printset_rec(FILE *ofile, int r, int *set) argument
746 fprintf(ofile, "<");
761 fprintf(ofile, ", ");
764 filehandler(ofile, n);
766 fprintf(ofile, "%d", n);
786 fprintf(ofile, "
[all...] |
| H A D | kernel.c | 741 void bdd_fprintstat(FILE *ofile) *}
750 void bdd_fprintstat(FILE *ofile) argument
755 fprintf(ofile, "\nCache statistics\n");
756 fprintf(ofile, "----------------\n");
758 fprintf(ofile, "Unique Access: %ld\n", s.uniqueAccess);
759 fprintf(ofile, "Unique Chain: %ld\n", s.uniqueChain);
760 fprintf(ofile, "Unique Hit: %ld\n", s.uniqueHit);
761 fprintf(ofile, "Unique Miss: %ld\n", s.uniqueMiss);
762 fprintf(ofile, "=> Hit rate = %.2f\n",
765 fprintf(ofile, "Operato
[all...] |
| H A D | fdd.h | 108 inline void fdd_fprintset(FILE* ofile, const bdd &r) argument
109 { fdd_fprintset(ofile, r.root); }
|
| H A D | bdd.h | 702 inline void bdd_fprintdot(FILE* ofile, const bdd &r) argument
703 { bdd_fprintdot(ofile, r.root); }
711 inline int bdd_save(FILE *ofile, const bdd &r) argument
712 { return bdd_save(ofile, r.root); }
|
| H A D | reorder.c | 2315 void bdd_fprintorder(FILE *ofile) argument
2317 print_order_rec(ofile, vartree, 0);
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | compile | 263 ofile=
278 ofile=$2
300 if test -z "$ofile" || test -z "$cfile"; then
331 test "$cofile" = "$ofile" || mv "$cofile" "$ofile"
333 test "${cofile}bj" = "$ofile" || mv "${cofile}bj" "$ofile"
|
| H A D | configure | 9133 ofile=libtool
20664 ofile='$ofile'
21565 cfgfile=${ofile}T
22108 mv -f "$cfgfile" "$ofile" ||
22109 (rm -f "$ofile" && cp "$cfgfile" "$ofile" && rm -f "$cfgfile")
22110 chmod +x "$ofile"
22113 cat <<_LT_EOF >> "$ofile"
|
| /seL4-l4v-10.1.1/HOL4/tools/quote-filter/ |
| H A D | mlton-quote-filter.sml | 34 | [ifile, ofile] =>
41 val os = openOut ofile
|
| H A D | quote-filter.sml | 13 | [ifile, ofile] => let
19 val os = TextIO.openOut ofile
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 340 FILE *ofile; local
342 ofile = fopen(fname, "w");
343 if (ofile == NULL)
346 bdd_fprintset(ofile, Bdd_val(r));
347 fclose(ofile);
|
| /seL4-l4v-10.1.1/HOL4/polyml/ |
| H A D | configure | 9120 ofile=libtool
23671 ofile='$ofile'
24394 cfgfile=${ofile}T
24940 mv -f "$cfgfile" "$ofile" ||
24941 (rm -f "$ofile" && cp "$cfgfile" "$ofile" && rm -f "$cfgfile")
24942 chmod +x "$ofile"
24945 cat <<_LT_EOF >> "$ofile"
|