// Class path ADT.Priority_queue
PikeDoc.registerSymbol('ADT.Priority_queue', PikeDoc.isInline)
.addChildren('method', [{"link":"ex/predef_3A_3A/ADT/Priority_queue/adjust_pri.html","modifiers":null,"name":"adjust_pri"},{"link":"ex/predef_3A_3A/ADT/Priority_queue/peek.html","modifiers":null,"name":"peek"},{"link":"ex/predef_3A_3A/ADT/Priority_queue/pop.html","modifiers":null,"name":"pop"},{"link":"ex/predef_3A_3A/ADT/Priority_queue/push.html","modifiers":null,"name":"push"}])
.finish();