Searched refs:vTtIsops (Results 1 – 4 of 4) sorted by relevance
77 p->vTtIsops[v] = Vec_WecAlloc( 1000 ); in If_ManStart()79 Vec_WecInit( p->vTtIsops[v], 2 ); in If_ManStart()81 p->vTtIsops[v] = p->vTtIsops[6]; in If_ManStart()283 Vec_WecFreeP( &p->vTtIsops[i] ); in If_ManStop()
78 vCover = Vec_WecEntry( p->vTtIsops[pCut->nLeaves], Abc_Lit2Var(If_CutTruthLit(pCut)) ); in If_CutDelaySop()172 vCover = Vec_WecEntry( p->vTtIsops[pCut->nLeaves], Abc_Lit2Var(If_CutTruthLit(pCut)) ); in If_CutSopBalancePinDelays()274 …Vec_Int_t * vCover = Vec_WecEntry( p->vTtIsops[pCut->nLeaves], Abc_Lit2Var(If_CutTruthLit(pCut)) ); in If_CutSopBalanceEval()
136 if ( p->vTtIsops[pCut->nLeaves] && PrevSize != Vec_MemEntryNum(p->vTtMem[pCut->nLeaves]) ) in If_CutComputeTruth()138 Vec_Int_t * vLevel = Vec_WecPushLevel( p->vTtIsops[pCut->nLeaves] ); in If_CutComputeTruth()147 … assert( Vec_WecSize(p->vTtIsops[pCut->nLeaves]) == Vec_MemEntryNum(p->vTtMem[pCut->nLeaves]) ); in If_CutComputeTruth()
255 Vec_Wec_t * vTtIsops[IF_MAX_FUNC_LUTSIZE+1]; // mapping of truth table into DSD member