Home
last modified time | relevance | path

Searched defs:pQue (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaCSat.c539 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManClauseSize() local
558 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManPrintClause() local
581 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManPrintClauseNew() local
604 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManDeriveReason() local
666 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManAnalyze() local
694 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManResolve() local
877 Cbs_Que_t * pQue = &(p->pClauses); in Cbs_ManSolve_rec() local
H A DgiaCTas.c693 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManClauseSize() local
712 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManPrintClause() local
735 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManPrintClauseNew() local
758 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManDeriveReason() local
847 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManAnalyze() local
875 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManResolve() local
982 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManCreateCls() local
1023 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManCreateFromCls() local
1287 Tas_Que_t * pQue = &(p->pClauses); in Tas_ManSolve_rec() local
H A DgiaCSat2.c681 Cbs2_Que_t * pQue = &(p->pClauses); in Cbs2_QueFinish() local
722 Cbs2_Que_t * pQue = &(p->pClauses); in Cbs2_ManDeriveReason() local
783 Cbs2_Que_t * pQue = &(p->pClauses); in Cbs2_ManAnalyze() local
923 Cbs2_Que_t * pQue = &(p->pClauses); in Cbs2_ManResolve() local
1256 Cbs2_Que_t * pQue = &(p->pClauses); in Cbs2_ManSolve1_rec() local
1310 Cbs2_Que_t * pQue = &(p->pClauses); in Cbs2_ManSolve2_rec() local
H A DgiaCTas2.c144 #define Tas_QueForEachVar( p, pQue, pVar, i ) \ argument
/dports/audio/nas/nas-1.9.4/lib/audio/
H A DAstreams.c240 pQue(struct listenQue *head, struct listenCall *lc) in pQue() function