Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbFunc.c2220 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 DgiaQbf.c474 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 DgiaCof.c909 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()