Home
last modified time | relevance | path

Searched refs:PQueueBuryP (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_match_mgu_1-1.c282 PQueueBuryP(jobs, t2->args[i]); in SubstComputeMgu()
283 PQueueBuryP(jobs, t1->args[i]); in SubstComputeMgu()
/dports/math/eprover/eprover-E-2.0/BASICS/
H A Dclb_pqueue.h65 static __inline__ void PQueueBuryP(PQueue_p queue, void* val);
282 static __inline__ void PQueueBuryP(PQueue_p queue, void* val) in PQueueBuryP() function