Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcMaj2.c51 Vec_Wec_t * vOutLits; // output vars member
241 p->vOutLits = Vec_WecStart( p->nObjs ); in Maj_ManAlloc()
253 Vec_WecFree( p->vOutLits ); in Maj_ManFree()
403 Vec_Int_t * vArray = Vec_WecEntry(p->vOutLits, i); in Maj_ManAddCnfStart()
529 Vec_Wec_t * vOutLits; // output vars member
604 p->vOutLits = Vec_WecStart( p->nObjs ); in Exa_ManAlloc()
615 Vec_WecFree( p->vOutLits ); in Exa_ManFree()
790 Vec_Int_t * vArray = Vec_WecEntry(p->vOutLits, i); in Exa_ManAddCnfStart()
912 Vec_Wec_t * vOutLits; // output vars member
1039 p->vOutLits = Vec_WecStart( p->nObjs ); in Exa3_ManAlloc()
[all …]
H A DbmcMaj.c48 Vec_Wec_t * vOutLits; // output vars member
145 p->vOutLits = Vec_WecStart( p->nObjs ); in Maj_ManAlloc()
157 Vec_WecFree( p->vOutLits ); in Maj_ManFree()
307 Vec_Int_t * vArray = Vec_WecEntry(p->vOutLits, i); in Maj_ManAddCnfStart()
423 Vec_Wec_t * vOutLits; // output vars member
498 p->vOutLits = Vec_WecStart( p->nObjs ); in Exa_ManAlloc()
511 Vec_WecFree( p->vOutLits ); in Exa_ManFree()
739 Vec_Int_t * vArray = Vec_WecEntry(p->vOutLits, i); in Exa_ManAddCnfStart()
869 Vec_Wec_t * vOutLits; // output vars member
972 p->vOutLits = Vec_WecStart( p->nObjs ); in Exa3_ManAlloc()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSweeper.c987 Vec_Int_t * vOutLits; in Gia_SweeperGraft() local
999 vOutLits = Vec_IntAlloc( Gia_ManPoNum(pSrc) ); in Gia_SweeperGraft()
1001 Vec_IntPush( vOutLits, Gia_ObjFanin0Copy(pObj) ); in Gia_SweeperGraft()
1002 return vOutLits; in Gia_SweeperGraft()