Searched refs:vTtElems (Results 1 – 9 of 9) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/ |
H A D | hopTruth.c | 158 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 D | amapPerm.c | 238 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 D | giaBidec.c | 103 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 D | lpkMan.c | 55 p->vTtElems = Vec_PtrAllocTruthTables( pPars->nVarsMax ); in Lpk_ManStart() 118 Vec_PtrFree( p->vTtElems ); in Lpk_ManStop()
|
H A D | lpkInt.h | 98 Vec_Ptr_t * vTtElems; // elementary truth tables member
|
H A D | lpkCut.c | 188 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 D | kitDsd.c | 53 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 D | kit.h | 142 Vec_Ptr_t * vTtElems; // elementary truth tables member
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
H A D | kit.h | 157 Vec_Ptr_t * vTtElems; // elementary truth tables member
|