Assertion: queue's element | /r/HasProperty | ordered
Facets:
value: according to their natural ordering
type: OTHER
value: used by a comparator
type: OTHER
Source sentences:
text: The elements of the priority queue are ordered according to their natural ordering , or by a Comparator provided at queue construction time, depending on which constructor is used.