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

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DHeap.h90 bool heapProperty() { function
91 return heapProperty(1); }
93 bool heapProperty(int i) { function
95 || ((parent(i) == 0 || !comp(heap[i],heap[parent(i)])) && heapProperty(left(i)) && heapProperty(right(i))); }

Completed in 27 milliseconds