Searched refs:pCof (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbFunc.c | 2220 pCof = Gia_ManDupUniv( p = pCof, Gia_ManCiNum(pCof) - nTars + v ); in Acb_NtkDeriveMiterCnf() 2223 pCof = Gia_ManAigSyn2( pTemp = pCof, 0, 1, 0, 100, 0, 0, 0 ); in Acb_NtkDeriveMiterCnf() 2257 Gia_ManStop( pCof ); in Acb_NtkDeriveMiterCnf() 2296 pCof[n][m] = Acb_NtkEcoSynthesize( pTemp = pCof[n][m] ); in Gia_ManInterOneInt() 2306 pInter[m] = Gia_ManInterOne( pCof[1][m], pCof[0][m], 1 ); in Gia_ManInterOneInt() 2308 pInter[m] = Gia_ManInterOneInt( pCof[1][m], pCof[0][m], Depth-1 ); in Gia_ManInterOneInt() 2331 pCof = Gia_ManDupUniv( p = pCof, Gia_ManCiNum(pCof) - nTars + v ); in Acb_NtkDeriveMiterCnfInter2() 2335 pCof = Acb_NtkEcoSynthesize( p = pCof ); in Acb_NtkDeriveMiterCnfInter2() 2340 Gia_ManStop( pCof ); in Acb_NtkDeriveMiterCnfInter2() 2370 pCof = Gia_ManDupUniv( p = pCof, Gia_ManCiNum(pCof) - nTars + v ); in Acb_NtkDeriveMiterCnfInter() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaQbf.c | 474 int Gia_QbfAddCofactor( Qbf_Man_t * p, Gia_Man_t * pCof ) in Gia_QbfAddCofactor() argument 476 Cnf_Dat_t * pCnf = (Cnf_Dat_t *)Mf_ManGenerateCnf( pCof, 8, 0, 1, 0, 0 ); in Gia_QbfAddCofactor() 478 …at_solver_nvars(p->pSatSyn) + pCnf->nVars - Gia_ManPiNum(pCof) : pCnf->nVars - Gia_ManPiNum(pCof);… in Gia_QbfAddCofactor() 500 int Gia_QbfAddCofactorG( Qbf_Man_t * p, Gia_Man_t * pCof ) in Gia_QbfAddCofactorG() argument 502 Cnf_Dat_t * pCnf = (Cnf_Dat_t *)Mf_ManGenerateCnf( pCof, 8, 0, 1, 0, 0 ); in Gia_QbfAddCofactorG() 503 int i, iFirstVar = pCnf->nVars - Gia_ManPiNum(pCof); //-1 in Gia_QbfAddCofactorG() 638 Gia_Man_t * pCof; in Gia_QbfSolve() local 651 pCof = Gia_QbfCofactor( pGia, nPars, p->vValues, p->vParMap ); in Gia_QbfSolve() 652 status = p->pSatSynG ? Gia_QbfAddCofactorG( p, pCof ) : Gia_QbfAddCofactor( p, pCof ); in Gia_QbfSolve() 653 Gia_ManStop( pCof ); in Gia_QbfSolve()
|
H A D | giaCof.c | 909 Vec_Int_t * Gia_ManTransfer( Gia_Man_t * pAig, Gia_Man_t * pCof, Gia_Man_t * pNew, Vec_Int_t * vSig… in Gia_ManTransfer() argument 918 pObjF = Gia_ManObj( pCof, Abc_Lit2Var(pObj->Value) ); in Gia_ManTransfer() 939 Gia_Man_t * pAig, * pCof, * pNew; in Gia_ManDupCofAllInt() local 960 pCof = Gia_ManDupCofInt( pAig, iVar ); in Gia_ManDupCofAllInt() 961 pNew = Gia_ManCleanup( pCof ); in Gia_ManDupCofAllInt() 962 vSigsNew = Gia_ManTransfer( pAig, pCof, pNew, vTemp = vSigsNew ); in Gia_ManDupCofAllInt() 965 Gia_ManStop( pCof ); in Gia_ManDupCofAllInt()
|