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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c534 void mlbdd_pair_finalize(value pairset) function
566 result = mlbdd_alloc_final(2, &mlbdd_pair_finalize);
600 result = mlbdd_alloc_final(2, &mlbdd_pair_finalize);
837 result = mlbdd_alloc_final(2, &mlbdd_pair_finalize);

Completed in 76 milliseconds