Nathan Michaels 38ce7f64e3 Add removeIndex function to PriorityQueue (#4070)
It's awkward to use, but lets me cancel events in an event queue.

Co-authored-by: Dmitry Atamanov <data-man@users.noreply.github.com>
2020-01-08 13:55:47 -05:00
..
2019-12-31 15:58:03 -05:00
2019-11-25 13:53:13 -05:00
2019-09-25 23:35:41 -04:00
2019-12-31 16:34:14 -05:00
2019-12-11 02:08:33 -05:00
2019-11-08 15:57:24 -05:00
2019-09-25 23:35:41 -04:00
2019-11-08 15:57:24 -05:00
2019-09-25 23:35:41 -04:00
2019-09-25 23:35:41 -04:00
2020-01-07 16:02:38 -05:00
2020-01-06 18:53:17 -05:00
2019-11-29 21:55:27 -05:00
2019-11-01 22:42:25 -04:00
2019-09-25 23:35:41 -04:00
2019-10-11 18:13:24 -04:00
2019-09-25 23:35:41 -04:00
2019-11-12 17:55:54 +02:00
2019-09-25 23:35:41 -04:00
2019-09-25 23:35:41 -04:00
2020-01-01 18:08:40 -05:00
2020-01-02 18:53:16 +01:00
2020-01-01 18:08:40 -05:00
2019-12-29 18:19:03 -05:00
2019-11-08 15:57:24 -05:00
2019-09-25 23:35:41 -04:00