Home
last modified time | relevance | path

Searched refs:PQueueIncIndex (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/BASICS/
H A Dclb_pqueue.c164 long PQueueIncIndex(PQueue_p queue, long index) in PQueueIncIndex() function
H A Dclb_pqueue.h88 long PQueueIncIndex(PQueue_p queue, long index);
/dports/math/eprover/eprover-E-2.0/CONTROL/
H A Dcco_eserver.c193 index = PQueueIncIndex(server->sessions, index)) in EServerInitFDSet()