Searched refs:Abc_TtCheckBiDecSimple (Results 1 – 1 of 1) sorted by relevance
3003 static inline int Abc_TtCheckBiDecSimple( word * pTruth, int nVars, int nSuppLim ) in Abc_TtCheckBiDecSimple() function3025 Res = Abc_TtCheckBiDecSimple( pTruth, nVars, nSuppLim ); in Abc_TtProcessBiDecInt()