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

/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig284 [replace r pairset] perfoms the substitution pairset on r.
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c534 void mlbdd_pair_finalize(value pairset) argument
536 bdd_freepair(PairSet_val(pairset));

Completed in 87 milliseconds