Closed holgerbrandl closed 2 years ago
Currently, we use a PriorityQueue with a remove-readd pattern on changes to schedule-time. Potentially this could be done more efficiently using a FibonacciHeap. See https://stackoverflow.com/questions/1871253/updating-java-priorityqueue-when-its-elements-change-priority
Currently, we use a PriorityQueue with a remove-readd pattern on changes to schedule-time. Potentially this could be done more efficiently using a FibonacciHeap. See https://stackoverflow.com/questions/1871253/updating-java-priorityqueue-when-its-elements-change-priority