Home
last modified time | relevance | path

Searched refs:Vec_WrdClear (Results 1 – 13 of 13) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSatLut.c189 Vec_WrdClear( p->vCutsI1 ); in Sbl_ManClean()
190 Vec_WrdClear( p->vCutsI2 ); in Sbl_ManClean()
191 Vec_WrdClear( p->vCutsN1 ); in Sbl_ManClean()
192 Vec_WrdClear( p->vCutsN2 ); in Sbl_ManClean()
199 Vec_WrdClear( p->vTempI1 ); in Sbl_ManClean()
200 Vec_WrdClear( p->vTempI2 ); in Sbl_ManClean()
201 Vec_WrdClear( p->vTempN1 ); in Sbl_ManClean()
202 Vec_WrdClear( p->vTempN2 ); in Sbl_ManClean()
684 Vec_WrdClear( p->vTempI1 ); in Sbl_ManComputeCutsOne()
685 Vec_WrdClear( p->vTempI2 ); in Sbl_ManComputeCutsOne()
[all …]
H A DgiaShrink6.c364 Vec_WrdClear( vDivTruths ); in Shr_ManComputeTruths()
H A DgiaTruth.c262 Vec_WrdClear( vTruths ); in Gia_ObjComputeTruthTable6()
H A DgiaMini.c352 Vec_WrdClear( pGia->vTtMemory ); in Gia_ManToMiniLut()
H A DgiaNf.c2213 Vec_WrdClear( vCutAreas ); in Nf_ManExtractWindow()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatProof2.h127 Vec_WrdClear( p->vInfo ); in Prf_ManRestart()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmTim.c343 Vec_WrdClear( &p->vSortData ); in Sfm_TimSortArrayByArrival()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecMult.c170 Vec_WrdClear( vRes ); in Extra_TruthCanonNPN3()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/
H A DvecWrd.h619 static inline void Vec_WrdClear( Vec_Wrd_t * p ) in Vec_WrdClear() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcExtract.c213 Vec_WrdClear( vSuper ); in Abc_NtkShareSuperAnd()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/
H A DbdcSpfd.c612 Vec_WrdClear( vTruths ); in Bdc_SpfdDecomposeTest__()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/
H A DmioUtils.c1249 Vec_WrdClear( vResult ); in Nf_ManPrepareGate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdCore.c796 Vec_WrdClear( p->vMatrix ); in Sbd_ManPrintObj()