Searched refs:vPolar (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSatMap.c | 54 Vec_Int_t * vPolar; // polarity of nodes and cuts member 92 Vec_IntClear( p->vPolar ); in Sbm_ManCheckSol() 100 Vec_IntPush( p->vPolar, -Cut ); in Sbm_ManCheckSol() 103 Vec_IntPush( p->vPolar, p->FirstVar + Cut ); in Sbm_ManCheckSol() 109 Vec_IntPush( p->vPolar, Lit ); // literal variable in Sbm_ManCheckSol() 133 Vec_IntPush( p->vPolar, p->FirstVar + Cut ); // cut variable in Sbm_ManCheckSol() 210 sat_solver_set_polarity( p->pSat, Vec_IntArray(p->vPolar), Vec_IntSize(p->vPolar) ); in Sbm_ManCreateCnf() 415 p->vPolar = Vec_IntAlloc( 100 ); in Sbm_ManAlloc() 439 Vec_IntFree( p->vPolar ); in Sbm_ManStop()
|
H A D | giaSatLut.c | 94 Vec_Int_t * vPolar; // variables polarity member 166 p->vPolar = Vec_IntAlloc( 1000 ); in Sbl_ManAlloc() 206 Vec_IntClear( p->vPolar ); in Sbl_ManClean() 245 Vec_IntFree( p->vPolar ); in Sbl_ManStop() 435 DelayMax = Gia_ManEvalWindow( p->pGia, p->vLeaves, p->vAnds, p->vWindow, p->vPolar, 1 ); in Sbl_ManEvaluateMappingEdge() 792 Vec_IntClear( p->vPolar ); in Sbl_ManComputeCuts() 802 Vec_IntPush( p->vPolar, i ); in Sbl_ManComputeCuts() 839 Vec_IntPush( p->vPolar, p->FirstVar+Index ); in Sbl_ManComputeCuts() 905 sat_solver_set_polarity( p->pSat, Vec_IntArray(p->vPolar), Vec_IntSize(p->vPolar) ); in Sbl_ManCreateCnf()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 601 Vec_Bit_t * vPolar = Vec_BitStart( Gia_ManObjNum(pGia) ); in Acb_NtkCollectCopies() local 620 Vec_BitWriteEntry( vPolar, Abc_Lit2Var(iLit), Abc_LitIsCompl(iLit) ); in Acb_NtkCollectCopies() 627 *pvPolar = vPolar; in Acb_NtkCollectCopies() 706 Vec_Bit_t * vPolar = Vec_BitStart( Gia_ManObjNum(pGia) ); in Abc_NtkCollectCopies() local 722 Vec_BitWriteEntry( vPolar, Abc_Lit2Var(iLit), Abc_LitIsCompl(iLit) ); in Abc_NtkCollectCopies() 729 *pvPolar = vPolar; in Abc_NtkCollectCopies()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcExact.c | 240 Vec_Int_t * vPolar; /* variables with positive polarity */ member 923 p->vPolar = Vec_IntAlloc( 100 ); in Ses_ManAlloc() 949 Vec_IntFree( pSes->vPolar ); in Ses_ManCleanLight() 2197 Vec_IntClear( pSes->vPolar ); in Ses_ManFindNetworkExact() 2208 … sat_solver_set_polarity( pSes->pSat, Vec_IntArray( pSes->vPolar ), Vec_IntSize( pSes->vPolar ) ); in Ses_ManFindNetworkExact()
|