Searched refs:Abc_TtProcessBiDec (Results 1 – 2 of 2) sorted by relevance
380 …iDecMask = Abc_TtProcessBiDec( If_CutTruthWR(p, pCut), (int)pCut->nLeaves, p->pPars->nLutSize / 2 … in If_ObjPerformMappingAnd()
3057 static inline int Abc_TtProcessBiDec( word * pTruth, int nVars, int nSuppLim ) in Abc_TtProcessBiDec() function3089 Res = Abc_TtProcessBiDec( pTemp, nVars, nSuppLim ); in Abc_TtProcessBiDecTest()3132 Res = Abc_TtProcessBiDec( &t, nVars, nSuppLim ); in Abc_TtProcessBiDecExperiment()