Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrInt.h260 extern Pdr_Obl_t * Pdr_QueueHead( Pdr_Man_t * p );
H A DpdrUtil.c594 Pdr_Obl_t * Pdr_QueueHead( Pdr_Man_t * p ) in Pdr_QueueHead() function
H A DpdrCore.c910 pThis = Pdr_QueueHead( p ); in Pdr_ManBlockCube()