Home
last modified time | relevance | path

Searched refs:vPolar (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSatMap.c54 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 DgiaSatLut.c94 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 DacbUtil.c601 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 DabcExact.c240 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()