Ian Goldberg
|
6b222f9efc
Correct a comment
|
1 year ago |
Ian Goldberg
|
3749f7b680
Indentation
|
1 year ago |
Ian Goldberg
|
cf36f72dc4
If run_sanity is 1, actually check that the extracted values from the heap come out in non-decreasing order
|
1 year ago |
Ian Goldberg
|
746abdf8d5
Touch up a comment
|
1 year ago |
avadapal
|
c84ab8e7cd
lt^eq ---> lt in explicit index heapproperty restored
|
1 year ago |
avadapal
|
b70710fcf2
indentation changes
|
1 year ago |
avadapal
|
9836affa84
changing some lteq to lt
|
1 year ago |
avadapal
|
b7364a786f
changing lteq to lt
|
1 year ago |
avadapal
|
4d6348fd92
reconstructing the minimum value and printing them when runsanity=1
|
1 year ago |
Ian Goldberg
|
bf69fe3fa5
Put parallel updates in insert_optimized and restore_heap_property_at_explicit_index into coroutines
|
1 year ago |
Ian Goldberg
|
37c2bca08e
Use "-t 0" with "docker stop"
|
1 year ago |
Ian Goldberg
|
b188a1daca
Indentation touchups
|
1 year ago |
Ian Goldberg
|
d718958fe5
Some comment touchups
|
1 year ago |
Ian Goldberg
|
03b6562737
XOR with !tio.player() instead of tio.player()
|
1 year ago |
Ian Goldberg
|
ccd78ec898
Clarify "smaller index" -> "index of the smaller child" in comments
|
1 year ago |
Ian Goldberg
|
1270ae19f1
Fix two off-by-one errors in MinHeap::print_heap()
|
1 year ago |
Ian Goldberg
|
54050bfc1e
Have Shape::reconstruct reconstruct just the Shape and not the whole database
|
1 year ago |
Ian Goldberg
|
e1ea44d724
Typo in comment
|
1 year ago |
Ian Goldberg
|
2d28fb2243
Fix some indentation
|
1 year ago |
Ian Goldberg
|
240beeb078
Touch up a comment
|
1 year ago |
Ian Goldberg
|
baddbdd512
Only run verify_heap_property on each extract if run_sanity is 1
|
1 year ago |
avadapal
|
60b7d27300
few more additional comments
|
1 year ago |
avadapal
|
63f78d1c24
improving the comment on optimized insert
|
1 year ago |
avadapal
|
d90d1162f2
removing the unnecessary old_P variable from optimized insert
|
1 year ago |
avadapal
|
00ff7d1f7b
using the more efficient reconstruct() function in the debug code
|
1 year ago |
avadapal
|
4baf948729
changed the heap diagram to display the need for MAXINT
|
1 year ago |
avadapal
|
9607a3b5c7
removed an unnecessary if (tio.player() !=2) in insert_optimized
|
1 year ago |
avadapal
|
c0e2eee1b7
made, restore_heap_property, restore_heap_property_optimized, restore_heap_property_at_explicit_index private
|
1 year ago |
Ian Goldberg
|
484b357df5
For testing, initialize the heap in a better way
|
1 year ago |
Ian Goldberg
|
7ed6c13978
u[0] was never getting initialized in insert_optimized
|
1 year ago |