Searched refs:fdd_makeset (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.h70 extern BDD fdd_makeset(int*, int);
115 { return fdd_makeset(v,n); }
163 #define fdd_makeset fdd_makesetpp macro
H A Dfdd.c883 PROTO {* BDD fdd_makeset(int *varset, int varnum) *}
890 BDD fdd_makeset(int *varset, int varnum) function
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dfdd.sig65 makeSet fdd_makeset
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c800 result = mlbdd_make(fdd_makeset(v, size));

Completed in 90 milliseconds