Searched refs:Abc_Tt8Isop (Results 1 – 1 of 1) sorted by relevance
2172 static inline int Abc_Tt8Isop( word uOn[4], word uOnDc[4], int nVars, word uRes[4] ) in Abc_Tt8Isop() function2234 nCubes += Abc_Tt8Isop( t, t, nVars, uRes ); in Abc_Tt8CnfSize()2235 nCubes += Abc_Tt8Isop( tc, tc, nVars, uRes ); in Abc_Tt8CnfSize()