Searched refs:bdd_operator_reset (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.h201 extern void bdd_operator_reset(void);
H A Dpairs.c84 bdd_operator_reset();
H A Dkernel.c455 bdd_operator_reset();
1083 bdd_operator_reset();
H A Dreorder.c158 bdd_operator_reset();
H A Dbddop.c216 void bdd_operator_reset(void) function

Completed in 38 milliseconds