Assertion: priority queue | /r/HasProperty | set after a k_extract-min operation
Facets:
value: back into the local queues
type: OTHER
value: directly
type: MANNER
Source sentences:
text: The priority queue can be further improved by not moving the remaining elements of the result set directly back into the local queues after a k_extract-min operation.