Home
last modified time | relevance | path

Searched refs:vTtElems (Results 1 – 9 of 9) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/
H A DhopTruth.c158 Vec_Ptr_t * vTtElems; in Hop_ManConvertAigToTruth() local
162 vTtElems = Vec_PtrAllocTruthTables( nVars ); in Hop_ManConvertAigToTruth()
164 vTtElems = NULL; in Hop_ManConvertAigToTruth()
192 if ( vTtElems ) in Hop_ManConvertAigToTruth()
193 pObj->pData = Vec_PtrEntry(vTtElems, nVars-1-i); in Hop_ManConvertAigToTruth()
204 if ( vTtElems ) in Hop_ManConvertAigToTruth()
205 pObj->pData = Vec_PtrEntry(vTtElems, i); in Hop_ManConvertAigToTruth()
216 if ( vTtElems ) in Hop_ManConvertAigToTruth()
217 Vec_PtrFree( vTtElems ); in Hop_ManConvertAigToTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/
H A DamapPerm.c238 Vec_Ptr_t * vTtElems, Vec_Int_t * vTruth, int nWords, int * piInput ) in Amap_LibVerifyPerm_rec() argument
245 return (unsigned *)Vec_PtrEntry( vTtElems, (*piInput)++ ); in Amap_LibVerifyPerm_rec()
247 pTruth0 = Amap_LibVerifyPerm_rec( pLib, pFan0, vTtElems, vTruth, nWords, piInput ); in Amap_LibVerifyPerm_rec()
249 pTruth1 = Amap_LibVerifyPerm_rec( pLib, pFan1, vTtElems, vTruth, nWords, piInput ); in Amap_LibVerifyPerm_rec()
282 Vec_Ptr_t * vTtElems; in Amap_LibVerifyPerm() local
293 vTtElems = Vec_PtrAllocTruthTables( pGate->nPins ); in Amap_LibVerifyPerm()
297 pTruth = (unsigned *)Vec_PtrEntry( vTtElems, Abc_Lit2Var(pArray[i]) ); in Amap_LibVerifyPerm()
316 Vec_PtrFree( vTtElems ); in Amap_LibVerifyPerm()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaBidec.c103 Vec_Ptr_t * vTtElems = NULL; in Gia_ManConvertAigToTruth() local
123 vTtElems = Vec_PtrAllocTruthTables( nVars ); in Gia_ManConvertAigToTruth()
132 if ( vTtElems ) in Gia_ManConvertAigToTruth()
133 Gia_ManTruthCopy( pTruth, (unsigned *)Vec_PtrEntry(vTtElems, i), nVars ); in Gia_ManConvertAigToTruth()
140 if ( vTtElems ) in Gia_ManConvertAigToTruth()
141 Vec_PtrFree( vTtElems ); in Gia_ManConvertAigToTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkMan.c55 p->vTtElems = Vec_PtrAllocTruthTables( pPars->nVarsMax ); in Lpk_ManStart()
118 Vec_PtrFree( p->vTtElems ); in Lpk_ManStop()
H A DlpkInt.h98 Vec_Ptr_t * vTtElems; // elementary truth tables member
H A DlpkCut.c188 pObj->pCopy = (Abc_Obj_t *)Vec_PtrEntry( p->vTtElems, fInv? pCut->nLeaves-1-i : i ); in Lpk_CutTruth()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitDsd.c53 p->vTtElems = Vec_PtrAllocTruthTables( p->nVars ); in Kit_DsdManAlloc()
77 Vec_PtrFree( p->vTtElems ); in Kit_DsdManFree()
671 …py( (unsigned *)Vec_PtrEntry(p->vTtNodes, i), (unsigned *)Vec_PtrEntry(p->vTtElems, i), p->nVars ); in Kit_DsdTruthCompute()
834 …py( (unsigned *)Vec_PtrEntry(p->vTtNodes, i), (unsigned *)Vec_PtrEntry(p->vTtElems, i), p->nVars ); in Kit_DsdTruthComputeOne()
1049 …py( (unsigned *)Vec_PtrEntry(p->vTtNodes, i), (unsigned *)Vec_PtrEntry(p->vTtElems, i), p->nVars ); in Kit_DsdTruthComputeTwo()
H A Dkit.h142 Vec_Ptr_t * vTtElems; // elementary truth tables member
/dports/math/stp/stp-2.3.3/lib/extlib-abc/
H A Dkit.h157 Vec_Ptr_t * vTtElems; // elementary truth tables member