menu
orkitt package
documentation
utils.dart
PriorityQueue<T>
push method
push method
dark_mode
light_mode
push
method
void
push
(
T
element
)
Implementation
void push(T element) { _contents.add(element); _sorted = false; }
orkitt package
documentation
utils
PriorityQueue<T>
push method
PriorityQueue class