Searched refs:Abc_TtExist (Results 1 – 1 of 1) sorted by relevance
2957 static inline void Abc_TtExist( word * pTruth, int iVar, int nWords ) in Abc_TtExist() function2974 Abc_TtExist( pTempR[c], v, nWords ); in Abc_TtCheckBiDec()2989 Abc_TtExist( pTemp, v, nWords ); in Abc_TtDeriveBiDecOne()