Lines Matching defs:heap
39 Heap<VarOrder_lt> heap;
44 assigns(ass), activity(act), heap(VarOrder_lt(act)), random_seed(91648253)
56 heap.setBounds(assigns.size());
57 heap.insert(assigns.size()-1);
63 if (heap.inHeap(x))
64 heap.increase(x);
70 if (!heap.inHeap(x))
71 heap.insert(x);
78 if (drand(random_seed) < random_var_freq && !heap.empty()){
85 while (!heap.empty()){
86 Var next = heap.getmin();