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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c43 0: finalization function mlbdd_finalize
47 mlbdd_finalize, and whose component 1 is a root number. The
173 garbage-collected, mlbdd_finalize() will be called on the bdd,
175 void mlbdd_finalize(value obj) function
180 /* Creation of a bdd makes a finalized pair (mlbdd_finalize, root) as
186 res = mlbdd_alloc_final(2, &mlbdd_finalize);
863 /* Creation of a bvec makes a finalized pair (mlbdd_finalize, bitnum, bitvec) */

Completed in 31 milliseconds