Searched refs:vTruthNodes (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitDec.c | 37 Vec_Ptr_t * vTruthNodes; // internal truth tables member
80 p->vTruthNodes = Vec_PtrAllocSimInfo( 64, p->nWordsMax ); in Kit_ManDecStart()
110 Vec_PtrFreeP( &p->vTruthNodes ); in Kit_ManDecStop()
204 …nsigned *)Vec_PtrEntry(p->vTruthVars, iVar) : (unsigned *)Vec_PtrEntry(p->vTruthNodes, iVar-nVars); in Kit_DecComputeTruth()
206 pResult = (v == nLuts - 1) ? pRes : (unsigned *)Vec_PtrEntry(p->vTruthNodes, v); in Kit_DecComputeTruth()
207 …hOne( LutSize, pTruthLuts, nVars, pTruths, (unsigned *)Vec_PtrEntry(p->vTruthNodes, v+1), pResult … in Kit_DecComputeTruth()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSupMin.c | 38 Vec_Ptr_t * vTruthNodes; // internal truth tables member
72 p->vTruthNodes = Vec_PtrAllocSimInfo( 512, p->nWordsMax ); in Gia_ManSupStart()
98 Vec_PtrFreeP( &p->vTruthNodes ); in Gia_ManSupStop()
|