Searched defs:varset (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | fdd.c | 827 int fdd_scanset(BDD r, int **varset, int *varnum) argument
890 fdd_makeset(int *varset, int varnum) argument
[all...] |
| H A D | kernel.c | 1429 int bdd_scanset(BDD r, int **varset, int *varnum) argument
1472 BDD bdd_makeset(int *varset, int varnum) argument
|
| H A D | bddop.c | 2374 double bdd_satcountset(BDD r, BDD varset) argument
2458 double bdd_satcountlnset(BDD r, BDD varset) argument
[all...] |
| H A D | bdd.h | 666 inline double bdd_satcountset(const bdd &r, const bdd &varset) argument
672 inline double bdd_satcountlnset(const bdd &r, const bdd &varset) argument
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 471 EXTERNML value mlbdd_bdd_scanset(value varset) argument
500 EXTERNML value mlbdd_bdd_exist(value b1, value varset) /* ML */ argument
506 EXTERNML value mlbdd_bdd_forall(value b1, value varset) /* ML */ argument
512 mlbdd_bdd_appall(value left, value right, value opr, value varset) argument
520 mlbdd_bdd_appex(value left, value right, value opr, value varset) argument
[all...] |
Completed in 106 milliseconds