Searched defs:pqueue_local (Results 1 – 1 of 1) sorted by relevance
105 SCIP_PQUEUE* pqueue_local, in insertIntoPQueue()129 SCIP_PQUEUE* pqueue_local, in deleteFromPQueue()