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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddtree.h52 BddTree *bddtree_new(int);
H A Dtree.c64 BddTree *bddtree_new(int id) function
101 if ((t=bddtree_new(id)) == NULL)
119 BddTree *tnew = bddtree_new(id);
162 tnew = bddtree_new(id);
H A Dreorder.c1810 if ((top=bddtree_new(-1)) == NULL)

Completed in 48 milliseconds