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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/fdd/
H A Dstatespace.cxx24 bdd reachedStates = fdd_ithvar(0,0);
64 bdd current = fdd_ithvar(0,i);
67 bdd next = fdd_ithvar(1, (i+1) % 8);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dfdd.h57 extern BDD fdd_ithvar(int, int);
88 { return fdd_ithvar(var, val); }
159 #define fdd_ithvar fdd_ithvarpp macro
H A Dfdd.c366 PROTO {* BDD fdd_ithvar(int var, int val) *}
377 BDD fdd_ithvar(int var, int val) function
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dfdd.sig55 ? fdd_ithvar

Completed in 53 milliseconds